aboutsummaryrefslogtreecommitdiff
path: root/Makefile.build
AgeCommit message (Expand)Author
2015-03-14Fix Bug 3548 - Makefile should fallback gracefully in the absence of codesignPierre Boutillier
2015-02-27Adding a new folder corresponding to the low-level part of the pretyperPierre-Marie Pédrot
2015-02-16Using home-made ocamllibdep rather than coqdep_boot.Hugo Herbelin
2015-02-16Restricting the need for coqdep_boot to mllib.d files (since ocamlHugo Herbelin
2015-02-13Fixup version & copyright for MacOS bundlePierre Boutillier
2015-02-12Revert "Using same code for browsing physical directories in coqtop and coqdep."Hugo Herbelin
2015-02-12Using same code for browsing physical directories in coqtop and coqdep.Hugo Herbelin
2015-01-15Always build (even when -coqide no) and install idetoploopPierre Boutillier
2015-01-14Makefile: install ide/*langEnrico Tassi
2015-01-12typo in coqide compilation rules after -thread requirementPierre Boutillier
2014-12-17Fixing Makefile so that it puts the -thread flag on the right place.Pierre-Marie Pédrot
2014-12-17Revert and correctly fix "#4843 part 2 : The .cmxs files for plugins must hav...Pierre Boutillier
2014-12-16Proper thread-safe implementation for Exninfo.Pierre-Marie Pédrot
2014-12-12#4843 part 2 : The .cmxs files for plug-ins must have execute permissionPierre Boutillier
2014-09-17win32: bring back the coq icon in the coqide binaryEnrico Tassi
2014-09-09IDECDEPSFLAGS is for byte, not optEnrico Tassi
2014-09-08Removing the XML plugin.Pierre-Marie Pédrot
2014-09-04Make CoqIDE compile with windows (Closes: 3573)Enrico Tassi
2014-09-02coqworkmgrEnrico Tassi
2014-08-26Distributed binaries under MacOS are signed.Pierre Boutillier
2014-08-23Fixing ml-dot & mli-dot targets.Pierre-Marie Pédrot
2014-07-24fixup fakeide test-suitePierre Boutillier
2014-07-22A makefile rule to build bin/CoqIDE_$VERSION.app macOS bundlePierre Boutillier
2014-07-22When I make MacOS binary, I would like to have a coqtop able to speak to coqi...Pierre Boutillier
2014-06-25all coqide specific files moved into ide/Enrico Tassi
2014-06-25cut toploop(s) out of coqtop: now they are loaded dynamicallyEnrico Tassi
2014-05-06This commit adds full universe polymorphism and fast projections to Coq.Matthieu Sozeau
2014-05-01Fixing ml-doc.Pierre-Marie Pédrot
2014-04-25Adding a stm/ folder, as asked during last workgroup. It was essentially movingPierre-Marie Pédrot
2014-04-10CoqIDE: options for syntax highlightingEnrico Tassi
2014-04-06Change handling of loadpath and mlpath.Guillaume Melquiond
2014-03-24Revert "Makefile: the initial build of grammar.cma is now directory-driven"Pierre Letouzey
2014-03-06make install-coqlight installs DLLCOQRUN and LIBCOQRUNPierre Boutillier
2014-03-02Set officially the minimal OCaml requirement to 3.12.1Pierre Letouzey
2014-03-02Makefile: the initial build of grammar.cma is now directory-drivenPierre Letouzey
2014-02-27Makefile: re-introduce 2 phases to avoid make strange -include'sPierre Letouzey
2014-02-24make coqide-binaries does not build coqtop anymorePierre Boutillier
2014-02-24Fix coqide build under MacOSPierre Boutillier
2014-02-10fake_ide: ported to spawnEnrico Tassi
2014-01-30Coqmktop without Sys.command, changes in ./configure -*byteflags optionsPierre Letouzey
2014-01-26configure.ml fixed wrt Win32 + byte-only + coqideEnrico Tassi
2014-01-09Goodbye typerex, Hello merlinPierre
2014-01-09md5 for MacOSPierre
2013-12-20Makefile.build: avoid a -ppPierre Letouzey
2013-12-20Coqdep always uses / as dir_sepPierre Boutillier
2013-12-17Fix make install after 3e972b3ff8e532be233f70567c87512324c99b4ePierre Boutillier
2013-12-12Do not compile coqide with -threadPierre Boutillier
2013-10-29Revert the two last commits. My bad, I messed up git-svn commands...ppedrot
2013-10-29Printing heap on every processed sentence.ppedrot
2013-10-10CoqIDE: move cmd_stack to a separate module: Documentgareuselesinge
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 15:08:48 +0000