Commit 8bed0846 authored by POTTIER Francois's avatar POTTIER Francois
Browse files

TODO update.

parent d152f19f
......@@ -5,9 +5,9 @@
$symbolstartpos.
* For Gabriel. 1- Change opam rules to explicitly use Makefile, even if
GNUmakefile present. 2- Make sure Makefile works even in the repo;
archive must be a subset of repo. 3- Place "opam" in the Menhir repo
and copy it to opam repo when exporting.
GNUmakefile present. Beware of recursive calls to make. 2- Make sure
Makefile works even in the repo; archive must be a subset of repo. 3- Place
"opam" in the Menhir repo and copy it to opam repo when exporting.
* Develop an alternate src/Makefile that does not require ocamlbuild?
Could use OCamlMakefile instead, for instance.
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment