Commits · 33492bdf6f18ab460805410391d3cc0a49ab1373 · Iris / stdpp

Nov 02, 2020
- update Makefile · 1b559061
  Ralf Jung authored 4 years ago
  
  1b559061
Oct 07, 2020
- fix typo in Makefile · e9869a38
  Ralf Jung authored 4 years ago
  
  e9869a38
Oct 06, 2020
- remove now-redundant package name from opam file · c1a33c4f
  Ralf Jung authored 4 years ago
  
  c1a33c4f
- update build system · 59eef752
  Ralf Jung authored 4 years ago
  
  59eef752
Jul 16, 2020
- update Makefile · 1b3d161d
  Ralf Jung authored 4 years ago
  
  1b3d161d
Jun 19, 2020
- update Makefile · 4e96f9ee
  Ralf Jung authored 4 years ago
  
  4e96f9ee
Jan 13, 2020
- opam 2 upgrade · df4fbcb4
  Ralf Jung authored 5 years ago
  
  df4fbcb4
Nov 07, 2019
- update Makefile · 9e267150
  Ralf Jung authored 5 years ago
  
  9e267150
Feb 13, 2019
- update Makefile · 736e4e21
  Ralf Jung authored 6 years ago
  
  736e4e21
Jan 25, 2019
- update Makefile · 8d3d0713
  Ralf Jung authored 6 years ago
  
  8d3d0713
Dec 14, 2018
- Get rid of the awk.Makefile references · a7d2b180
  Dan Frumin authored 6 years ago
  
  a7d2b180
Nov 08, 2018
- remove no-longer-needed Makefile hackery · df509b21
  Ralf Jung authored 6 years ago
  
  df509b21
Jul 17, 2018
- clean better · c3fe9747
  Ralf Jung authored 6 years ago
  
  c3fe9747
May 30, 2018
- update CI and Makefile · 1d094160
  Ralf Jung authored 6 years ago
  
  1d094160
May 09, 2018
- update CI/Makefile · 55ed83e2
  Ralf Jung authored 6 years ago
  
  55ed83e2
Apr 24, 2018
- update CI · a85ee3f5
  Ralf Jung authored 6 years ago
  
  a85ee3f5
Jan 23, 2018
- honor COQBIN if present · 183c5cfe
  Ralf Jung authored 7 years ago
  
  183c5cfe
Oct 09, 2017
- update Makefile · 937ef30b
  Ralf Jung authored 7 years ago
  
  937ef30b
Oct 07, 2017
- tweak opam build-dep installation · e67daba3
  Ralf Jung authored 7 years ago
  
  e67daba3
Sep 28, 2017
- fix build-dep on macOS · 2175e39f
  Ralf Jung authored 7 years ago
  
  2175e39f
Sep 21, 2017
- update Makefile · 0e409c0d
  Ralf Jung authored 7 years ago
  
  0e409c0d
- fix Makefile · 4fc06ccc
  Ralf Jung authored 7 years ago
  
  4fc06ccc
Sep 20, 2017
- update build system · 38b9c399
  Ralf Jung authored 7 years ago
  
  38b9c399
- fix make build-dep · 57e1431e
  Ralf Jung authored 7 years ago
  
  57e1431e
- no more opam.pins · 4b6af89c
  Ralf Jung authored 7 years ago
  
  4b6af89c
- Update for Coq 8.7 coq_makefile · 01d4aff9
  Ralf Jung authored 7 years ago
  
  01d4aff9
Feb 23, 2017

Partially revert "add target html and gallinahtml" · 10db208c

Ralf Jung authored 8 years ago

This partially reverts 2bf11f4f.  There is no need to add new Makefile targets as the Makefile already forwards all targets to Makefile.coq.

10db208c

Feb 15, 2017
- add target html and gallinahtml · 2bf11f4f
  Benoit Viguier authored 8 years ago
  
  also add html folder to .gitignore so generated doc is not added to the repo
  2bf11f4f
Feb 07, 2017
- update build system, CI and README · 2d8a4eb4
  Ralf Jung authored 8 years ago
  
  2d8a4eb4
- Also support Coq 8.5pl3. · 10c2f692
  Robbert Krebbers authored 8 years ago
  
  10c2f692
Feb 06, 2017
- Move COQ FLAGS to _CoqProject. · 5052a548
  Robbert Krebbers authored 8 years ago
  
  5052a548
Feb 03, 2017
- add opam and CI stuff (with preliminary names) · 63f64743
  Ralf Jung authored 8 years ago
  
  63f64743
- Add makefiles and license. · 1ef65e1b
  Robbert Krebbers authored 8 years ago
  
  1ef65e1b