summaryrefslogtreecommitdiff
path: root/next-lib/src/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'next-lib/src/Makefile')
-rw-r--r--next-lib/src/Makefile5
1 files changed, 5 insertions, 0 deletions
diff --git a/next-lib/src/Makefile b/next-lib/src/Makefile
index c32f1bbbb..89a9d4a3e 100644
--- a/next-lib/src/Makefile
+++ b/next-lib/src/Makefile
@@ -32,6 +32,11 @@ constructX:
gfc common/ConstructX.gf
cp -p common/ConstructX.gfo ../prelude
+MakeStructural:
+ gfc */MakeStructural*.gf
+ cp -p */MakeStructural*.gfo ../present
+ cp -p */MakeStructural*.gfo ../alltenses
+
test:
$(RUNMAKE) test