aboutsummaryrefslogtreecommitdiffstats
path: root/Makefile.extr
Commit message (Expand)AuthorAgeFilesLines
...
* | | Install the new system for reporting syntax errors.François Pottier2015-10-231-2/+7
* | | Makefile.extr: [make clean] removes .automaton files.François Pottier2015-10-231-0/+1
| |/ |/|
* | Added [Makefile.menhir], which gives a choice between Menhir's "code" and "ta...François Pottier2015-10-161-7/+10
* | Add -la 1 to Menhir's invocation, to see statistics and warnings.François Pottier2015-10-071-1/+1
* | Pass --no-stdlib and -v to menhir when compiling pre_parser.mly.François Pottier2015-10-071-1/+1
|/
* Erase incomplete file .depend.extr if "make depend" fails.Xavier Leroy2015-08-211-3/+2
* Merge branch 'master' into dwarfBernhard Schommer2015-03-101-13/+12
|\
| * Removed unused target cleansource.Bernhard Schommer2015-03-051-4/+0
| * Removed leftover references to recdepend.Xavier Leroy2015-02-281-6/+5
| * Removed the recdepend again and replaced it by a builtin Make function.Bernhard Schommer2015-02-271-8/+6
| * Updated the recdepend tool to avoid printing of ./ at the begining and printi...Bernhard Schommer2015-02-251-2/+4
| * Added a small ocamlfile that calls ocamlfind recursivly over a given directory.Bernhard Schommer2015-02-241-5/+7
| * Removed the Unix from the libraries for cchecklink.Bernhard Schommer2015-02-201-2/+3
| * Merge branch 'no-shell' of github.com:AbsInt/CompCert into compcert_windowsBernhard Schommer2015-02-191-2/+3
| |\
| | * Merge branch 'master' into no-shellBernhard Schommer2015-02-191-2/+6
| | |\
| | * | Use Unix.create_process instead of Sys.command (continued).Xavier Leroy2014-12-291-2/+3
| * | | Removed the linker flag again.Bernhard Schommer2015-01-201-2/+2
| | |/ | |/|
* | | Merge branch 'master' into dwarfBernhard Schommer2015-01-201-2/+6
|\| |
| * | Replaced 8 spaces by tabs.Bernhard Schommer2015-01-161-1/+1
| * | Added new target to just remove the cm[iox] files and the build executables.Bernhard Schommer2015-01-161-0/+4
| * | Added variable to the Makefile to specify additional linker commands and chan...Bernhard Schommer2015-01-151-2/+2
| |/
* / Merge branch 'master' into dwarfBernhard Schommer2015-01-121-1/+1
|/
* Minor bug fixes in configure and Makefile.extrXavier Leroy2014-12-171-2/+3
* Use OCaml's .opt compilers when available.Xavier Leroy2014-12-171-16/+49
* Replace ocamlbuild by a second-stage makefile to compile the OCaml code and p...Xavier Leroy2014-11-221-0/+134
generated by cgit (git 2.34.1) at 2024-05-09 03:08:03 +0000