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 026f100a2e82..000000000000
--- 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