From 9d6f088dc071ed4957b8fb0acaf52e046cc3382e Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Wed, 8 Oct 2008 08:35:51 +0000
Subject: [PATCH] oops - forgot mkPresent as well

---
 next-lib/src/Makefile  | 2 ++
 next-lib/src/mkPresent | 1 +
 2 files changed, 3 insertions(+)
 create mode 100644 next-lib/src/mkPresent

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