diff options
| author | aarne <aarne@cs.chalmers.se> | 2008-10-08 08:35:51 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2008-10-08 08:35:51 +0000 |
| commit | 18aa48941c7473fe7f7dcbd08adc87992323af93 (patch) | |
| tree | 06b1bf0a5af3ab02459c5f0a8ed0048bf5af97a4 | |
| parent | eba875c7d4b87bd2f9b87c6baebaeb0c933ac71e (diff) | |
oops - forgot mkPresent as well
| -rw-r--r-- | next-lib/src/Makefile | 2 | ||||
| -rw-r--r-- | next-lib/src/mkPresent | 1 |
2 files changed, 3 insertions, 0 deletions
diff --git a/next-lib/src/Makefile b/next-lib/src/Makefile index 18a1f6bed..fad7db343 100644 --- a/next-lib/src/Makefile +++ b/next-lib/src/Makefile @@ -1,6 +1,8 @@ RUNGHC=runghc RUNMAKE=$(RUNGHC) Make.hs +GF_LIB_PATH=.. + .PHONY: all present alltenses lang api math prelude test demo synopsis link compiled clean all: link prelude present alltenses compat diff --git a/next-lib/src/mkPresent b/next-lib/src/mkPresent new file mode 100644 index 000000000..21f70c75a --- /dev/null +++ b/next-lib/src/mkPresent @@ -0,0 +1 @@ +grep -v "\-\-\# notpresent" $1 |