aboutsummaryrefslogtreecommitdiffhomepage
path: root/tools/CoqMakefile.in
Commit message (Expand)AuthorAge
* Possible fix for issue #6697Gravatar Yannick Forster2018-02-07
* Merge PR #6516: Add TIMING_SORT_BY and --sort-by to timing scriptsGravatar Maxime Dénès2018-01-08
|\
| * Add TIMING_SORT_BY and --sort-by to timing scriptsGravatar Jason Gross2017-12-27
* | [API] remove large file containing duplicate interfacesGravatar Enrico Tassi2017-12-27
|/
* Merge PR #6217: Do dependencies in 1 command per file class.Gravatar Maxime Dénès2017-12-18
|\
| * Do dependencies in 1 command per file class.Gravatar Gaëtan Gilbert2017-12-15
* | Merge PR #6038: [build] Remove coqmktop in favor of ocamlfind.Gravatar Maxime Dénès2017-12-14
|\ \
* \ \ Merge PR #6388: Fix issue #6387Gravatar Maxime Dénès2017-12-14
|\ \ \
* \ \ \ Merge PR #6175: Restoring filtering of native files passed to `rm` during `ma...Gravatar Maxime Dénès2017-12-13
|\ \ \ \
| | * | | Fix issue #6387Gravatar Martin Vassor2017-12-11
| |/ / / |/| | |
| * | | Restoring filtering of native files passed to `rm` during `make clean`.Gravatar Maxime Dénès2017-12-11
| | * | [build] Remove coqmktop in favor of ocamlfind.Gravatar Emilio Jesus Gallego Arias2017-12-10
| |/ / |/| |
* | | Merge PR #6142: Single quotes break on WindowsGravatar Maxime Dénès2017-12-07
|\ \ \
* | | | coq_makefile: pass filenames to coqchkGravatar Ralf Jung2017-11-29
| |_|/ |/| |
* | | Fix coq-makefile ocamldoc call when configured with -annotate.Gravatar Gaëtan Gilbert2017-11-24
| |/ |/|
| * Single quotes break on WindowsGravatar Carl Patenaude Poulin2017-11-11
|/
* Fix 5776 - `make` gives `ocamlfind: No such file or directory` on every execu...Gravatar Maxime Dénès2017-10-11
* Merge PR #1059: coq_makefile: make sure compile flags for Coq and coq_makefil...Gravatar Maxime Dénès2017-10-05
|\
* | coq_makefile: dont show errors from failed (ignored) rmdirGravatar Ralf Jung2017-09-20
| * coq_makefile: make sure compile flags for Coq and coq_makefile are in syncGravatar Emilio Jesus Gallego Arias2017-09-19
* | Merge PR #990: Prevent warning about DSTROOT being undefined.Gravatar Maxime Dénès2017-09-15
|\ \ | |/ |/|
* | coq_makefile: fix .merlin generation (FLG -thread)Gravatar Enrico Tassi2017-08-29
* | coq_makefile: improve documentationGravatar Enrico Tassi2017-08-29
* | coq_makefile(pack): ml -> cmx --pack-> cmx -> cmxa -> cmxsGravatar Enrico Tassi2017-08-29
* | coq_makefile: do not overwrite CAMLFLAGSGravatar Enrico Tassi2017-08-29
* | coq_makefile: use dedicated variable for extra packagesGravatar Enrico Tassi2017-08-29
* | coq_makefile: build/use .cma for packed pluginsGravatar Enrico Tassi2017-08-29
| * Prevent warning about DSTROOT being undefined.Gravatar Guillaume Melquiond2017-08-22
|/
* Merge PR #964: More portable location for the time command.Gravatar Maxime Dénès2017-08-16
|\
* | fix coq_makefileGravatar Matej Košík2017-08-12
| * More portable location for the time command.Gravatar Théo Zimmermann2017-08-12
|/
* [make] remove compat5 file.Gravatar Emilio Jesus Gallego Arias2017-07-27
* coq-makefile: strip windows drive letter when DESTDIR is not emptyGravatar Enrico Tassi2017-07-20
* coq-makefile: treat coq_makefile as any other coq binaryGravatar Enrico Tassi2017-07-20
* Add timing scriptsGravatar Jason Gross2017-07-11
* Fix TIMED=1 on Mac OSXGravatar Jason Gross2017-07-08
* Merge PR #844: Better support for make TIMED=1 on WindowsGravatar Maxime Dénès2017-07-07
|\
* | Fix more potential quoting issues: COQBIN , COQLIBGravatar Jason Gross2017-06-30
* | Also quote $(COQLIB)/grammarGravatar Jason Gross2017-06-30
* | Create a variable for CAMLDOC in CoqMakefile.inGravatar Jason Gross2017-06-30
* | Quote $(OCAMLFIND) in CoqMakefile.in for WindowsGravatar Jason Gross2017-06-30
| * Better support for make TIMED=1 on WindowsGravatar Jason Gross2017-06-30
|/
* Move TIMER to right in front of COQCGravatar Jason Gross2017-06-15
* Fix `make TIMED=1` garbageGravatar Jason Gross2017-06-15
* Strip trailing whitespaceGravatar Jason Gross2017-06-15
* Merge PR#709: Bytecode compilation apart from 'make world', againGravatar Maxime Dénès2017-06-12
|\
* \ Merge PR#698: Trunk miscGravatar Maxime Dénès2017-06-07
|\ \
* | | Fix coq_makefile uninstall target under OSX.Gravatar Maxime Dénès2017-06-01
| * | removing duplicate line from "tools/CoqMakefile.in"Gravatar Matej Košík2017-05-31
|/ /
| * coq_makefile : do not build bytecode versions of plugins by defaultGravatar Pierre Letouzey2017-05-30
|/
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-01 18:30:50 +0000