Permalink
Browse files

configure.ml: our configure script is now written in ML :-)

  configure is now just a minimal wrapper around the new configure.ml.
  This configure.ml is runned with the same ocaml used during
  compilation, and starts with a #load "unix.cma".
  For now, this new configure script is meant to be 99% compatible
  with the old one. Known incompatibilities : the --foo option format
  (with two --) isn't supported anymore, use -foo options instead.
  Let me know if you encounter any other changes.

  Internals:
   - We use our own "run" command (based on Unix.create_process) to avoid
     relying on some specific shell (/bin/sh or cmd.exe).
   - We should have far less issues with filename quoting under windows
     since we almost never rely on (cygwin) shell anymore. This remains
     to be fully tested, though.
   - dev/ocamldebug-coq is slightly different now, to ease its generation
  • Loading branch information...
1 parent d1824e8 commit 8ba7983f467a6e235ba88e10be90381c9429cad2 @letouzey letouzey committed Nov 30, 2013
Showing with 1,149 additions and 1,234 deletions.
  1. +24 −1,228 configure
  2. +1,114 −0 configure.ml
  3. +11 −6 dev/{ocamldebug-coq.template → ocamldebug-coq.run}
Oops, something went wrong.

0 comments on commit 8ba7983

Please sign in to comment.