diff options
Diffstat (limited to 'users/Profpatsch/whatcd-resolver/build.ninja')
| -rw-r--r-- | users/Profpatsch/whatcd-resolver/build.ninja | 29 |
1 files changed, 0 insertions, 29 deletions
diff --git a/users/Profpatsch/whatcd-resolver/build.ninja b/users/Profpatsch/whatcd-resolver/build.ninja deleted file mode 100644 index 026f100a2e..0000000000 --- a/users/Profpatsch/whatcd-resolver/build.ninja +++ /dev/null @@ -1,29 +0,0 @@ -builddir = .ninja - -rule cabal-run - command = cabal run $target - -rule cabal-repl - command = cabal repl $target - -rule cabal-test - command = cabal test $target - -rule hpack-file - description = hpack $in - command = $ - hpack --force $in $ - && touch $out - -build repl : cabal-repl | cabal-preconditions - target = whatcd-resolver-server - pool = console - -build run : cabal-run | cabal-preconditions - target = whatcd-resolver-server - pool = console - - -build cabal-preconditions : phony whatcd-resolver-server.cabal - -build whatcd-resolver-server.cabal : hpack-file package.yaml |