aboutsummaryrefslogtreecommitdiffhomepage
path: root/configure
Commit message (Expand)AuthorAge
* configure.ml: our configure script is now written in ML :-)Gravatar Pierre Letouzey2013-12-20
* Fix make install after 3e972b3ff8e532be233f70567c87512324c99b4eGravatar Pierre Boutillier2013-12-17
* configure: typo in my last commitGravatar Pierre Letouzey2013-11-23
* configure: improve last fixGravatar Pierre Letouzey2013-11-22
* configure: CAML_LD_LIBRARY_PATH is enriched, not overwrittenGravatar Pierre Letouzey2013-11-21
* configure: fix some issues with last commitGravatar Pierre Letouzey2013-11-21
* Fix various \r issues with windowsGravatar Jason Gross2013-11-21
* Asks camlp5 binary in path its locationGravatar pboutill2013-11-03
* configure stript allows make v4.00Gravatar pboutill2013-11-03
* * configure: Remove trailing space.Gravatar regisgia2013-09-02
* Misc changes around coqtop.ml :Gravatar letouzey2013-08-22
* Change in vo format : digest aren't Marshalled anymoreGravatar letouzey2013-08-22
* New -no-native-compiler flag for configure, globally disabling the nativeGravatar mdenes2013-02-24
* Revert "remove -rectypes except for term.ml"Gravatar mdenes2013-01-22
* Add an option -nodoc to configure, same (but shorter) than -with-doc noGravatar letouzey2012-11-12
* Cygwin gcc do not accept -mno-cygwin anymoreGravatar pboutill2012-10-17
* Taking into account that ocamlfind might find a package w/o the filesGravatar herbelin2012-10-17
* Turn mltop.ml4 into a regular ocaml fileGravatar letouzey2012-10-06
* remove -rectypes except for term.mlGravatar letouzey2012-10-06
* Repair the configure after Hugo's last "repair" ;-)Gravatar letouzey2012-10-05
* Repaired configure damaged in r15748 for those bash users which haveGravatar herbelin2012-10-04
* Suggest to use clean rather than archclean before recompiling.Gravatar herbelin2012-10-04
* MacOS integration uses lablgtkosx >= 1.1Gravatar pboutill2012-09-17
* A few fixes in configure file:Gravatar herbelin2012-09-05
* No need anymore to refer to COQLIB in ocamldebug-coqGravatar letouzey2012-08-23
* Configure + Makefile : simplification when -localGravatar letouzey2012-08-23
* configure: get rid of the -src option and of ${COQSRC}Gravatar letouzey2012-08-23
* configure: no more need for ocamlmktopGravatar letouzey2012-08-23
* Simpler configure: gcc via ocamlc, no ranlib (done by ocamlmklib)Gravatar letouzey2012-08-23
* Port from 8.4 branch some build fixes concerning win32 :Gravatar letouzey2012-08-23
* Bug 2861 : ocamlopt but no lablgtk2.cmxa problemGravatar pboutill2012-08-10
* configure: two minor fixes for win32Gravatar letouzey2012-08-07
* Coq should compile with Ocaml4 and/or lablgtk installed with ocamlfindGravatar pboutill2012-07-12
* configure: camlp4 is now tried when camlp5 isn't foundGravatar letouzey2012-05-23
* configure: add support of MinGW Win32 environment (fix #2526)Gravatar letouzey2012-05-23
* Coqide: make some paths win32-compliantGravatar letouzey2012-05-16
* Makefile: Really avoid locales in $(DATE)Gravatar letouzey2012-05-15
* Tentative and very experminental support for typerex. Enabled withGravatar aspiwack2012-05-11
* Configure asks for lablgtk >= 2.12 with gtksourceview2Gravatar pboutill2012-04-27
* Coqide MacOS integration refreshGravatar pboutill2012-04-27
* Browser documentation & CharSet under WindowsGravatar pboutill2012-04-13
* lib directory is cut in 2 cma.Gravatar pboutill2012-04-12
* - changing minimal version for OCaml: Coq uses Filename.dirsep that is availa...Gravatar notin2012-02-20
* Bug 2676: ./configure --prefix shoudn't ask for a config directory.Gravatar pboutill2012-01-16
* Configure: the backslashes in win32 paths should be escapedGravatar letouzey2011-12-23
* ./configure & freedesktopGravatar pboutill2011-12-18
* coqide default pref files are by default in /etc/xdg/coq/Gravatar pboutill2011-11-21
* Patch to support (a priori) all versions of make 3.xx >= 3.81Gravatar herbelin2011-10-12
* In Coq_config: get rid of coqsrc and make coqlib optionalGravatar glondu2011-09-27
* default install location under cygwin is the unix defaultGravatar pboutill2011-07-07