diff options
| author | aarne <aarne@cs.chalmers.se> | 2007-12-04 11:07:39 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2007-12-04 11:07:39 +0000 |
| commit | 7051331c20d5a9f1eaf5f9f25bca2891f9277370 (patch) | |
| tree | 71e165f6a6e6a12278a7832a1a536d2846347f04 /src/Makefile | |
| parent | a7b68870508b90ab1a9e635489ff4e687713d166 (diff) | |
test for new GF source format
Diffstat (limited to 'src/Makefile')
| -rw-r--r-- | src/Makefile | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/Makefile b/src/Makefile index bdb94401c..4f342324d 100644 --- a/src/Makefile +++ b/src/Makefile @@ -34,6 +34,7 @@ GF_EXE=gf$(EXEEXT) GF_EXE_TMP=gf-bin$(EXEEXT) GF_DOC_EXE=gfdoc$(EXEEXT) GF3_EXE=gf3$(EXEEXT) +TESTGF3_EXE=testgf3$(EXEEXT) ifeq ("$(READLINE)","readline") @@ -206,6 +207,11 @@ gf3: strip $(GF3_EXE) mv $(GF3_EXE) ../bin/ +testgf3: + $(GHMAKE) $(GHCOPTFLAGS) -o testgf3 GF/Devel/TestGF3.hs + strip $(TESTGF3_EXE) + mv $(TESTGF3_EXE) ../bin/ + gfcc2c: $(MAKE) -C tools/c $(MAKE) -C ../lib/c |