You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Original bug ID: 314 Reporter: administrator Status: closed Resolution: fixed Priority: normal Severity: minor Category: ~DO NOT USE (was: OCaml general)
A bug of the -pp option : the temp file ocamlopt and ocamlc choose
for a given file is the same.
Granted. We'll fix that.
(another way to fix this would be to use Filename.tempfile)
I believe we need to have the temp file in the same directory as the
source file, so a variant of Filename.tempfile that preserves the
directory would be needed.
Original bug ID: 314
Reporter: administrator
Status: closed
Resolution: fixed
Priority: normal
Severity: minor
Category: ~DO NOT USE (was: OCaml general)
Bug description
Full_Name: Judicaël Courant
Version: ocaml 3.01
OS: Linux
Submission from: ext2.lri.fr (129.175.15.5)
A bug of the -pp option : the temp file ocamlopt and ocamlc choose for a given
file is the same.
Therefore, you can not do safely in parallel
ocamlopt -pp "my_preprocessor" -c foo.ml
and
ocamlc -pp "my_preprocessor" -c foo.ml
(That happened during the build of Coq when using "make -j")
Suggested fix:
Index: optcompile.ml
RCS file: /caml/ocaml/driver/optcompile.ml,v
retrieving revision 1.35
diff -r1.35 optcompile.ml
127c127
< let inputfile = preprocess sourcefile (prefixname ^ ".ppo") in
(another way to fix this would be to use Filename.tempfile)
The text was updated successfully, but these errors were encountered: