| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Fix install on platforms without ocamlopt |  Benjamin Barenblat | 2019-02-17 |
| | | | | | | | | | I was a bit overzealous in d10b86dc97e91ceb15134cc190d6f647a7c3d640, changing `make install` to `make install-byte` on bytecode platforms. Turns out both `make install` and `make install-byte` install important files on both native and bytecode platforms, so unconditionally call both. | ||
| * | Fix build on platforms without ocamlopt | Benjamin Barenblat | 2019-02-17 |
| | | | | | | | coq_makefile generates Makefiles that reference ocamlopt, even on platforms without ocamlopt. Export `OPT=-byte` on such platforms to prevent the generated Makefile from trying to invoke ocamlopt. | ||
| * | Ensure both bytecode and native code builds on native-code platforms | Benjamin Barenblat | 2019-02-17 |
| | | | | | | coq_makefile from Coq 8.9 does not automatically build bytecode when native code is available. Forcibly build both on native-code platforms. | ||
| * | Perform clean by calling `make clean`, not `make distclean` | Benjamin Barenblat | 2019-02-17 |
| | | |||
| * | Make build verbose | Benjamin Barenblat | 2019-02-17 |
| | | |||
| * | Fail on non-installed files, and install .v files |  Nicolas Braud-Santoni | 2016-07-31 |
| | | | | | Per Stéphane Glondu's comments <579DC270.2040103@debian.org> | ||
| * | debian/rules: Do not fail on non-installed files | Nicolas Braud-Santoni | 2016-07-23 |
| | | | | | We do not install, on purpose, .glob and .v files. | ||
| * | Fix FTBFS without natdynlink |  Stephane Glondu | 2012-09-22 |
| | | |||
| * | Update build system | Stephane Glondu | 2012-09-21 |
| | | |||
| * | Do not remove Makefile on clean | Stephane Glondu | 2011-02-21 |
| | | |||
| * | Update packaging | Stephane Glondu | 2010-12-01 |
| | | |||
| * | Initial packaging | Stephane Glondu | 2010-11-30 |
 |
index : debian-aac-tactics | |
| Debian packaging for aac-tactics |
| summaryrefslogtreecommitdiff |