Combined-line mode checks bidirectionalizability
[darcs-mirror-sem_syn.git] / Makefile
index b5c7b0b..e905ebe 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -1,4 +1,4 @@
-TARGET = Main
+TARGET = b18n-combined
 
 all : $(TARGET)
 
 
 all : $(TARGET)
 
@@ -6,6 +6,6 @@ $(TARGET): Main.hs AST.hs Parser.hs Util.hs Type.hs Shapify.hs CodeGen.hs
        ghc --make -o $(TARGET) Main.hs
 
 clean:
        ghc --make -o $(TARGET) Main.hs
 
 clean:
-       rm $(TARGET)
+       rm -rf $(TARGET)
        rm -rf *.o *.hi
        rm -rf *.o *.hi
-       rm *~
\ No newline at end of file
+       rm -rf *~