Make pakcs work

It does not start for the first time. https://git-ps.informatik.uni-kiel.de/curry/pakcs/issues/20 `--nocypm` can be used to work around the issue.
cnxtech · Apr 27, 2019 · 1925a9e · 1925a9e
1 parent dbcff39
commit 1925a9e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/code-gen.rb b/src/code-gen.rb
@@ -886,7 +886,7 @@ class D < CodeGen
 class Curry < CodeGen
   Disabled = true
   File = "QR.curry"
-  Cmd = "pakcs :load QR.curry :save :quit && ./QR > OUTFILE"
+  Cmd = "pakcs --nocypm :load QR.curry :save :quit && ./QR > OUTFILE"
   Apt = "pakcs"
   Code = %q("main=putStr"+E[PREV])
 end