--nocypm added for PAKCS

4dba3ab3 · Michael Hanus · e7149e9b · 4dba3ab3
Commit 4dba3ab3 authored Jan 12, 2018 by Michael Hanus
--- a/Makefile_pakcs
+++ b/Makefile_pakcs
@@ -84,7 +84,7 @@ pl: .curry/pakcs/$(ALLLIBS).pl $(LIB_PL)

 # generate all Prolog translations:
 .curry/pakcs/%.pl: .curry/%.fcy
-	rm -f $@ && "$(PAKCS)" --quiet :compile $(subst /,.,$*) :quit
+	rm -f $@ && "$(PAKCS)" --nocypm --quiet :compile $(subst /,.,$*) :quit

 ##############################################################################
 # create HTML documentation files for system libraries