diff options
Diffstat (limited to 'examples/tutorial/embedded/Makefile_gfcc')
| -rw-r--r-- | examples/tutorial/embedded/Makefile_gfcc | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/examples/tutorial/embedded/Makefile_gfcc b/examples/tutorial/embedded/Makefile_gfcc deleted file mode 100644 index 257128e60..000000000 --- a/examples/tutorial/embedded/Makefile_gfcc +++ /dev/null @@ -1,18 +0,0 @@ -all: gf hs run - -gf: - echo "pm -printer=gfcc | wf math.gfcc" | gf MathEng.gf MathFre.gf - -hs: gf - echo "pg -printer=gfcc_haskell | wf GSyntax.hs" | gf MathEng.gf MathFre.gf - -run: hs - ghc --make -o ./mathc TransferLoopGFCC.hs - strip mathc - -clean: - rm -f *.gfc *.gfr *.o *.hi - -distclean: - rm -f GSyntax.hs math math.gfcc *.gfc *.gfr *.o *.hi - |