aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/envars.ml
Commit message (Expand)AuthorAge
* Bump year in headers.Gravatar Pierre-Marie Pédrot2017-07-04
* Add support for "-bypass-API" argument of "coq_makefile"Gravatar Matej Košík2017-06-12
* Put all plugins behind an "API".Gravatar Matej Kosik2017-06-07
* Relying on computation done in Envars to discover the installation directories.Gravatar Hugo Herbelin2017-05-29
* Generalizing to docdir and datadir the test for a relocated installation.Gravatar Hugo Herbelin2017-05-29
* Exporting the suffixes needed to build coqlib, docdir, etc.Gravatar Hugo Herbelin2017-05-29
* Using Coq_config.local rather than None to tell that Coq_config.coqlib is local.Gravatar Hugo Herbelin2017-05-29
* Configuration: always giving a value to configdir and datadir.Gravatar Hugo Herbelin2017-05-29
* Dead code (xdg_config_dirs).Gravatar Hugo Herbelin2017-05-29
* enters coq_makefile2Gravatar Enrico Tassi2017-05-23
* ocamlfind: coqtop -config prints ocamlfind as found by ./configureGravatar Enrico Tassi2017-05-23
* print_config: print COQ_SRC_SUBDIRSGravatar Enrico Tassi2017-05-23
* Put the list of Coq sources subdirectories in one placeGravatar Enrico Tassi2017-05-23
* Usage.print_config moved to EnvarsGravatar Enrico Tassi2017-05-23
* Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2016-01-21
|\
| * Update copyright headers.Gravatar Maxime Dénès2016-01-20
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-11-26
|\|
| * Generalizing the patch to bug #2554 on fixing path looking withGravatar Hugo Herbelin2015-11-25
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-09-25
|\|
| * Revert "On MacOS X, ensuring that files found in the file system have the"Gravatar Maxime Dénès2015-09-20
* | Fixup last commitGravatar Pierre Boutillier2015-06-22
* | All invocations to ocaml compilers go through ocamlfindGravatar Pierre Boutillier2015-06-22
|/
* Continuing incomplete 4b5af0d6e9ec1 (on MacOS X, ensuring that filesGravatar Hugo Herbelin2015-05-20
* Update headers.Gravatar Maxime Dénès2015-01-12
* Uses slashes for install and config directoriesGravatar Virgile Prevosto2014-03-06
* CUnix: enriched (get_extension, sys_command, waitpid_non_intr) + cleanedGravatar Pierre Letouzey2014-01-30
* Misc changes around coqtop.ml :Gravatar letouzey2013-08-22
* Restrict (try...with...) to avoid catching critical exn (part 5)Gravatar letouzey2013-03-13
* Restrict (try...with...) to avoid catching critical exn (part 4)Gravatar letouzey2013-03-12
* More monomorphization.Gravatar ppedrot2013-03-05
* Envar: in w32, add .exe when searching for caml binariesGravatar letouzey2013-01-12
* Fix coqtop -config when absolute path have been given for ocaml*Gravatar pboutill2012-12-19
* Moved Stringset and Stringmap to String namespace.Gravatar ppedrot2012-12-14
* Ensure that a function declared with a label is used with itGravatar letouzey2012-12-08
* Envars: repair failed compilation after yann's commitsGravatar letouzey2012-12-07
* * lib/Envars:Gravatar regisgia2012-12-07
* * lib/Envars:Gravatar regisgia2012-12-07
* Added a CString module.Gravatar ppedrot2012-11-13
* Monomorphized a lot of equalities over OCaml integers, thanks toGravatar ppedrot2012-11-08
* No more states/initial.coq, instead coqtop now requires Prelude.voGravatar letouzey2012-08-23
* Updating headers.Gravatar herbelin2012-08-08
* bug 2805: Only export CAMLP4LIB if camlp4 -where ends successfullyGravatar pboutill2012-06-12
* Revert copy/pasted function in to minilib thanks to clib.cmaGravatar pboutill2012-05-23
* Always add the Coq_config.dirs to xdg_dirsGravatar pboutill2012-05-02
* lib directory is cut in 2 cma.Gravatar pboutill2012-04-12
* Noise for nothingGravatar pboutill2012-03-02
* CoqIde files position is freedesktop compliant.Gravatar pboutill2011-12-18
* coqrc in the right XDG_CONFIG_HOME/coq folderGravatar pboutill2011-11-20
* Add support for XDG_DATA_HOME and XDG_DATA_DIRS.Gravatar pboutill2011-11-20
* In Coq_config: get rid of coqsrc and make coqlib optionalGravatar glondu2011-09-27