aboutsummaryrefslogtreecommitdiff
path: root/Makefile
AgeCommit message (Collapse)Author
2020-12-19include compile tests in CI elisp compilationHendrik Tews
2017-05-24Remove mmm and ML4PG contribs and remove references to them in code and docsPaul Steckler
2017-04-25Remove bin/proofgeneral and Update Makefiles accordingly.Erik Martin-Dorel
Closes ProofGeneral/PG#177
2017-02-25Add easycrypt and twelf to MakefileClément Pit--Claudel
2017-01-17fix icon installation and add 64 and 128 square icons (fixes #141)Hendrik Tews
2016-12-14fix parallel build and other issues in Makefile (fixes #130)Hendrik Tews
2016-09-28Makefile: don't depend on pwdClément Pit--Claudel
2016-09-23Disable parallel build, to workaround the issue raised in PR #112.Erik Martin-Dorel
2015-03-13Summary: Revert change to default EMACSDavid Aspinall
2015-03-05Summary: Build on MacDavid Aspinall
2013-07-05Document Make checkDavid Aspinall
2013-05-22make warnings non-fatal for normal compilation to fix #458, useHendrik Tews
'make check' to get errors
2013-01-15fix overriding distclean targetHendrik Tews
2013-01-15removal of backup files (*~) moved to make distcleanHendrik Tews
2012-03-05support DESTDIR in make installHendrik Tews
2012-02-07Extend list of provers we compile forDavid Aspinall
2012-01-10Note about make -j for parallel compilationDavid Aspinall
2010-10-10clean: clean profile and test outputDavid Aspinall
2010-10-06Add extra requires for compile to work on tty emacs (e.g. MacOS terminal emacs)David Aspinall
2010-08-27Fix mmm pathDavid Aspinall
2010-08-25Remove obsolete proversDavid Aspinall
2010-08-16Fix compile errors, update tagsDavid Aspinall
2009-09-16Prevent warning on cl functions (cl functions called at runtimeDavid Aspinall
warning should not stop compilation).
2009-09-15Default target: dont edit scriptsDavid Aspinall
2009-09-15Be strict about compile warningsDavid Aspinall
2009-09-08Remove warnings in batch compile about functions possibly undefined atDavid Aspinall
runtime. Most of these are spurious (come from autoloads; byte comp seems to give these higher priority than declarations in same file).
2009-09-07Don't try to compile obsolete twelf Emacs code.David Aspinall
2009-03-10Fix to use in place of make, see ↵David Aspinall
http://proofgeneral.inf.ed.ac.uk/trac/ticket/262
2008-07-24Merge changes from Version4Branch.David Aspinall
2008-01-31Remove duplicate default target. Add doc for EMACS setting egs.David Aspinall
2008-01-29Ignore errors compiling maths-menu.el (for XEmacs 21.4)David Aspinall
2008-01-15Updated.David Aspinall
2008-01-15Many compatibility updates, bug fixes, rearrangements for compilation.David Aspinall
2007-12-14Ignore errors in bytecompDavid Aspinall
2007-12-14Let broken compilation proceed for nowDavid Aspinall
2007-12-14Be stricter about byte compilation: compile separately and halt on errorsDavid Aspinall
2007-12-14Clarify error messages during compileDavid Aspinall
2007-12-12Updated.David Aspinall
2007-12-09Fix typo.David Aspinall
2007-12-09Comments.David Aspinall
2007-03-04Choose Emacs instead of XEmacsDavid Aspinall
2007-02-27Note on sudo and cp -p clashDavid Aspinall
2006-12-07removed obsolete references to 'isa';Makarius Wenzel
2006-09-22Fix typo.David Aspinall
2006-09-22Packaging fixes: put isar/interface in right place; install examples and doc ↵David Aspinall
files from Makefile.
2006-08-28Cleanup makefilesDavid Aspinall
2006-08-28Cleanup makefilesDavid Aspinall
2006-05-26Detect EMACS setting.David Aspinall
2005-10-04Make install-bin also install Isabelle and Lego scriptsDavid Aspinall
2005-07-15Fix distclean to remove x-symbol elc filesDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 11:35:56 +0000