- 03 Nov, 2015 11 commits
-
-
POTTIER Francois authored
-
POTTIER Francois authored
built yet.
-
POTTIER Francois authored
-
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
Should fix the previous code, which was perhaps broken.
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
- 02 Nov, 2015 4 commits
-
-
POTTIER Francois authored
-
POTTIER Francois authored
In the previous version, the redefinition of $(libdir) was ineffective when we were called from opam, which overrides $(libdir) from outside.
-
POTTIER Francois authored
-
POTTIER Francois authored
-
- 31 Oct, 2015 2 commits
-
-
POTTIER Francois authored
-
POTTIER Francois authored
-
- 30 Oct, 2015 5 commits
-
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
- 29 Oct, 2015 13 commits
-
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
For the modules in MenhirLib, adopt the convention that the first letter of the file name must be capitalized.
-
POTTIER Francois authored
Updated myocamlbuild.ml to automatically add for-pack(MenhirLib) to the files listed in menhirLib.mlpack. This removes the need for explicitly listing these files in the file _tags.
-
- 28 Oct, 2015 5 commits
-
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
Also, compile Menhir in $$TEMPDIR/$(PACKAGE), not $(PACKAGE).
-