Closed balat closed 10 years ago
Did you tried with the latest version ?
Yes it is the very last version
in file configure
, when I replace the last $@
by $*
, it works.
But configure is generated by oasis.
You shouldn't regenerate the files. All the generated files are in the repo and should stay as is except if you changed the _oasis (in which case you need OASIS devel because of this bug)
ok so you must change file INSTALL
:)
Done. I don't know why it was still there. Sorry for the inconvenience.
Thank you! But I still wonder why the configure file generated by oasis is wrong?
Because I use the compiled_setup_ml
AlphaFeature which contains this bug (it was my fault).
This is fixed in master by this PR: https://github.com/ocaml/oasis/pull/47
ok nice :)
The prefix is not given to setup.exe. You can reproduce it manually: