ppx_debug_optim step fails on windows
Our windows build fails as follows:
Ocamlopt src/extract/mlinterp.ml
'src' is not recognized as an internal or external command,
operable program or batch file.
File "src/extract/mlinterp.ml", line 1:
Error: Error while running external preprocessor
Command line: src/util/ppx_debug_optim "/it/sbx/wave/x86_64-windows64/why3/tmp/camlppx47c442" "/it/sbx/wave/x86_64-windows64/why3/tmp/camlppxbb7bd3"
The command line, using VERBOSEMAKE=yes
, is
ocamlopt.opt -c -w A-4-9-41-44-45-50-52@5@8@48 -safe-string -keep-locs -bin-annot -dtypes -g -I lib/why3 -I C:/tokyo.a/sandbox/x86_64-windows64/opamq/install/opamrep/ocaml-system.4.07.1/lib/re -I C:/tokyo.a/sandbox/x86_64-windows64/opamq/install/opamrep/ocaml-system.4.07.1/lib/zip -I C:/tokyo.a/sandbox/x86_64-windows64/opamq/install/opamrep/ocaml-system.4.07.1/lib/menhirLib -I C:/tokyo.a/sandbox/x86_64-windows64/opamq/install/opamrep/ocaml-system.4.07.1/lib/num -I plugins/parser -I plugins/printer -I plugins/transform -I plugins/tptp -I plugins/python -I plugins/microc -I plugins/ada_terms -I src/util -I src/core -I src/driver -I src/mlw -I src/extract -I src/parser -I src/transform -I src/printer -I src/session -for-pack Why3 -ppx src/util/ppx_debug_optim src/extract/mlinterp.ml
This works when I copy the src/util/ppx_debug_optim
executable to ./
and run the command again with -ppx ppx_debug_optim
, so it has something to do with the slashes (the error message also matches this guess).
We have ocaml 4.07.1. We have a workaround for this to simply force enable_ppx
to be false. So it's not critical right now.
Any idea what could be wrong or how to fix it?