diff options
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 |