diff options
Diffstat (limited to 'next-lib/src/Makefile')
| -rw-r--r-- | next-lib/src/Makefile | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/next-lib/src/Makefile b/next-lib/src/Makefile index fad7db343..dab5a8a00 100644 --- a/next-lib/src/Makefile +++ b/next-lib/src/Makefile @@ -3,9 +3,9 @@ RUNMAKE=$(RUNGHC) Make.hs GF_LIB_PATH=.. -.PHONY: all present alltenses lang api math prelude test demo synopsis link compiled clean +.PHONY: all present alltenses lang api math prelude test demo synopsis link compiled constructX clean -all: link prelude present alltenses compat +all: link prelude constructX present alltenses compat present: $(RUNMAKE) present lang @@ -28,6 +28,10 @@ prelude: gfc prelude/*.gf cp -p prelude/*.gfo ../prelude +constructX: + gfc common/ConstructX.gf + cp -p common/ConstructX.gfo ../prelude + test: $(RUNMAKE) test |