Commits · d44bf0ee722642252c4627aa0d81fa371152a53c · Jan / iris-coq

09 May, 2018 1 commit
- fix make build-dep · d44bf0ee
  Ralf Jung authored May 09, 2018
  
  d44bf0ee
25 Apr, 2018 2 commits
- fix Makefile · 27d9154a
  Ralf Jung authored Apr 25, 2018
  
  27d9154a
- only do the 'reinstall build-dep package' on opam 1 · b419fc70
  Ralf Jung authored Apr 25, 2018
  
  b419fc70
24 Apr, 2018 1 commit
- CI: let's see if opam reinstall works faster than opam upgrade for changing build-deps · 17a99876
  Ralf Jung authored Apr 24, 2018
  
  17a99876
23 Jan, 2018 3 commits
- actually no need to set COQBIN default, it turns out · e374f84c
  Ralf Jung authored Jan 23, 2018
  
  e374f84c
- query COQBIN like coq_makefile does · 86aa5812
  Ralf Jung authored Jan 23, 2018
  
  86aa5812
- honor COQBIN · ee10c29e
  Ralf Jung authored Jan 23, 2018
  
  ee10c29e
09 Oct, 2017 2 commits
- more consistent grammar · 840893d4
  Ralf Jung authored Oct 09, 2017
  
  840893d4
- make build-dep: prefer relative paths; they seem to work better on Windows · 06244212
  Ralf Jung authored Oct 09, 2017
  
  06244212
07 Oct, 2017 1 commit
- tweak opam build-dep installation · 061e6bf2
  Ralf Jung authored Oct 07, 2017
  
  061e6bf2
28 Sep, 2017 1 commit
- fix build-dep on macOS · c0253c3e
  Ralf Jung authored Sep 28, 2017
  
  c0253c3e
21 Sep, 2017 2 commits
- fix Makefile; fix coq-stdpp dep · 70e0a3ff
  Ralf Jung authored Sep 21, 2017
  
  70e0a3ff
- fix Makefile · e813387b
  Ralf Jung authored Sep 21, 2017
  
  e813387b
20 Sep, 2017 2 commits
- fix opam · 10830bed
  Ralf Jung authored Sep 20, 2017
  
  10830bed
- try to fix opam · 6f58f693
  Ralf Jung authored Sep 20, 2017
  
  6f58f693
19 Sep, 2017 4 commits
- Makefile tweaks · 84ba4ef5
  Ralf Jung authored Sep 19, 2017
  
  84ba4ef5
- CI: tweaks · 842e85c0
  Ralf Jung authored Sep 19, 2017
  
  842e85c0
- make build-dep: handle case where the pin already exists · 01b8c312
  Ralf Jung authored Sep 19, 2017
  
  01b8c312
- new build-dep handling without opam.pins · 12012db9
  Ralf Jung authored Sep 19, 2017
  
  12012db9
18 Sep, 2017 1 commit
- CI: depend on std++ via opam; prepare for automatic opam releases · 8f8796c0
  Ralf Jung authored Sep 18, 2017
  
  8f8796c0
07 Feb, 2017 1 commit
- update build system · 0b6bb546
  Ralf Jung authored Feb 07, 2017
  
  0b6bb546
06 Feb, 2017 1 commit
- use coq-stdpp · 50a1b62b
  Ralf Jung authored Feb 06, 2017
  
  50a1b62b
06 Jan, 2017 4 commits
- typo · 64c3fda3
  Ralf Jung authored Jan 06, 2017
  
  64c3fda3
- make Makefile work with POSIX awk · 41b8ab22
  Ralf Jung authored Jan 06, 2017
  
  41b8ab22
- patch vio2vo target to only rebuild outdated .vo files · 30073ef8
  Ralf Jung authored Jan 06, 2017
  
  30073ef8
- disable annoying warning · c4d8c28a
  Ralf Jung authored Jan 06, 2017
  
  c4d8c28a
12 Dec, 2016 1 commit
- use OPAM-based CI · 99470279
  Ralf Jung authored Dec 12, 2016
  
  99470279
01 Dec, 2016 1 commit
- Makefile: instead of letting 'install' uninstall stuff, fix the 'uninstall' target · ae88b35e
  Ralf Jung authored Dec 01, 2016
  
  ae88b35e
22 Nov, 2016 2 commits
- avoid leaving empty Makefile.coq if coq_makefile fails · 6f9c094e
  Ralf Jung authored Nov 22, 2016
  
  6f9c094e
- Makefile: make clean clean properly · b40dca66
  Ralf Jung authored Nov 22, 2016
  
  b40dca66
16 Nov, 2016 3 commits
- use awk instead of sed for makefile patching, for better Mac OS compatibility · 82a63e76
  Ralf Jung authored Nov 16, 2016
  
  82a63e76
- Coq 8.6: silence some warnings · a9f7431c
  Ralf Jung authored Nov 16, 2016
  
  a9f7431c
- better hack for removing stale .vo files on 'make install' use sed to patch Makefile directly · d528b812
  Ralf Jung authored Nov 16, 2016
  
  d528b812
09 Nov, 2016 1 commit
- add a working 'uninstall' target and call it before installing · 9f79b4c9
  Ralf Jung authored Nov 09, 2016
  
  9f79b4c9
27 Oct, 2016 1 commit
- Makefile: hide recursive make calls · 8559d95c
  Ralf Jung authored Oct 27, 2016
  
  8559d95c
19 Aug, 2016 1 commit
- fix calling makefile on specific files · ebb51092
  Ralf Jung authored Aug 19, 2016
  
  ebb51092
07 Jun, 2016 1 commit
- hack makefile to fix coqchk invocation · 66904606
  Ralf Jung authored Jun 07, 2016
  
  66904606
05 Mar, 2016 2 commits
- Makefile attribution · 68b961a8
  Ralf Jung authored Mar 05, 2016
```
I talked with Christian, he is not the original author and forgot where it came
from, probably some coq-club mail.
```
  68b961a8
- improve Makefile: fix make dir/name.vo · c82719b9
  Ralf Jung authored Mar 05, 2016
  
  c82719b9
12 Feb, 2016 1 commit
- fix Makefile attribution · c51a909a
  Ralf Jung authored Feb 12, 2016
  
  c51a909a