aboutsummaryrefslogtreecommitdiff
path: root/Makefile
Commit message (Expand)AuthorAge
* If COQPATH is not set, set it by default (#38)Gravatar Jason Gross2016-07-25
* In >= 8.6, disable some very noisy warningsGravatar Jason Gross2016-07-25
* Faster update-_CoqProject targetGravatar Jason Gross2016-07-21
* Fix clean targetGravatar Jason Gross2016-07-21
* Add support for TIMED=1 in Coq 8.4Gravatar Jason Gross2016-07-20
* Don't depend on the submodule; copy-paste insteadGravatar Jason Gross2016-07-20
* Add a separate non-specific targetGravatar Jason Gross2016-07-20
* Add target for .dir-locals.elGravatar Jason Gross2016-07-20
* Clean up the makefile a bitGravatar Jason Gross2016-07-06
* Fix coqprime clean, install targets, add cleanallGravatar Jason Gross2016-07-06
* Flip the sense of the conditional in the makefileGravatar Jason Gross2016-06-22
* Make Coq 8.5 the default target for Fiat-CryptoGravatar Jason Gross2016-06-22
* Makefile: build on Arch Linux once againGravatar Andres Erbsen2016-06-20
* Be a bit more quiet on make unless VERBOSE=1 is passedGravatar Jason Gross2016-06-16
* 8.5 fixesGravatar Jason Gross2016-06-10
* Add coqprime that works with 8.5, bundle bedrockGravatar Jason Gross2016-06-10
* Makefile: single-quotes for shell globbingGravatar Andres Erbsen2016-02-28
* Factor out some bedrock dependencies into WordUtilGravatar Jason Gross2016-02-25
* Update build process to use COQPATH & _CoqProjectGravatar Jason Gross2016-02-05
* recursive-build coqprimeGravatar Rob Sloan2016-01-28
* recursive-build coqprimeGravatar Rob Sloan2016-01-28
* Import coqprime; use it to prove Euler's criterion.Gravatar Jade Philipoom2016-01-20
* remove fiat dependencyGravatar Andres Erbsen2016-01-16
* simple refactor of makefile; commentsGravatar varomodt2016-01-09
* fix the makefile to not rebuild + module renamingGravatar Robert Sloan2015-10-22
* pull changes from desktopGravatar Robert Sloan2015-10-19
* redo module structure + init curve25519Gravatar Robert Sloan2015-09-16
* Basic Galois Field Theory ModulesGravatar Robert Sloan2015-09-16
* init our centralized repoGravatar Robert Sloan2015-09-10
generated by cgit v1.2.3 (git 2.39.1) at 2024-04-20 06:39:52 +0000