It seems I've found a bug in PAKCS. I have a small example:
-- example.curry
main = 26+27
# go.bash
pakcs -q :l example.curry :eval main :q &
pakcs -q :l example.curry :eval main :q &
pakcs -q :l example.curry :eval main :q &
pakcs -q :l example.curry :eval main :q &
wait
Running go.bash gives the following errors on my system:
ERROR: /tmp/pl_pakcs_main_11765_0:36:0: Syntax error: Unexpected end of file
ERROR: /tmp/pl_pakcs_main_11765_0:67:0: Syntax error: Unexpected end of file
ERROR:
ERROR: delete_file/1: file `/tmp/pl_pakcs_main_11765_0' does not exist (No such file or directory)
ERROR: source_sink `/tmp/pl_pakcs_main_11765_0' does not exist
ERROR:
ERROR: delete_file/1: file `/tmp/pl_pakcs_main_11765_0' does not exist (No such file or directory)
PAKCS_Main_Exp.curry, line 1.17:
`main' is undefined
ERROR occurred during parsing!
PAKCS_Main_Exp.curry, line 1.17:
`main' is undefined
ERROR occurred during parsing!
ERROR:
ERROR: blocked_normalizeAndCheck/4: Undefined procedure: nf/4
53
Everything works if I remove the ampersands. I kept the example small by running the same Curry script in each invocation, but that is not necessary to see the problem.
It looks like the different instances of the program are all using the same temp file name.
I am running this version of PAKCS:
______ __ _ _ ______ _______
| __ | / \ | | / / | ____| | _____| Portland Aachen Kiel
| | | | / /\ \ | |_/ / | | | |_____ Curry System
| |__| | / /__\ \ | _ | | | |_____ |
| ____| / ______ \ | | \ \ | |____ _____| | Version 1.11.4 (4)
|_| /_/ \_\ |_| \_\ |______| |_______|
Curry2Prolog(swi 5.10) Compiler Environment (Version of 2014-10-16)
(RWTH Aachen, CAU Kiel, Portland State University)
This appears to be a bug. Can I file a bug report somewhere (or is this mailing list the place)? This is a problem for me because I want to use pakcs as part of a software build step. This bug prevents me from building in parallel.
-Andy
_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Di Jan 06 2015 - 12:59:46 CET