remove old GNUmakefile
authorNorman Ramsey <nr@cs.tufts.edu>
Mon, 17 May 2010 16:36:25 +0000 (12:36 -0400)
committerNorman Ramsey <nr@cs.tufts.edu>
Mon, 17 May 2010 16:36:25 +0000 (12:36 -0400)
src/GNUmakefile [deleted file]

diff --git a/src/GNUmakefile b/src/GNUmakefile
deleted file mode 100644 (file)
index bf2b201..0000000
+++ /dev/null
@@ -1,19 +0,0 @@
-SRC=Graph Label GraphUtil Fuel MkGraph Dataflow
-HOOPL=Compiler/Hoopl
-HS=${SRC:%=$(HOOPL)/%.hs}
-O=${SRC:%=$(HOOPL)/%.o}
-
-
-.PHONY: all clean
-
-all: $O
-
-
-%.o: %.hs
-       ghc --make -c $*.hs
-
-
-clean:
-       rm -f $(HOOPL)/*.o
-       rm -f $(HOOPL)/*.hi
-       rm -f *~ $(HOOPL)/*~