-
7ecbed52
by Benjamin Barenblat
at 2019-02-14T01:32:39Z
Prepare to import v8.9 snapshot
Upstream has started including a .travis.yml, so filter that out of the
upstream tarball to prevent Salsa from trying to run upstream’s CI.
-
8018e923
by Benjamin Barenblat
at 2019-02-14T01:40:51Z
New upstream version 8.8.0+1.gbp069dc3b
-
2ee22055
by Benjamin Barenblat
at 2019-02-14T01:40:51Z
Updated version 8.8.0+1.gbp069dc3b from 'upstream/8.8.0+1.gbp069dc3b'
with Debian dir 4ca0cfbbc73543887b10ee2613b222f51702e276
-
f898529b
by Benjamin Barenblat
at 2019-02-14T02:10:10Z
Begin packaging v8.9 snapshot
-
18dec949
by Benjamin Barenblat
at 2019-02-14T02:10:14Z
Update to debhelper 10
-
3cd16822
by Benjamin Barenblat
at 2019-02-17T21:45:22Z
Update build dependencies
-
f5ba2868
by Benjamin Barenblat
at 2019-02-17T21:45:25Z
Update Vcs-* URLs for Salsa migration
-
f8996ccd
by Benjamin Barenblat
at 2019-02-17T21:45:25Z
Update docs list
Upstream has switched to Markdown for their README.
-
a4b69fa5
by Benjamin Barenblat
at 2019-02-17T21:45:25Z
Update upstream URL in copyright file
-
9e7872b8
by Benjamin Barenblat
at 2019-02-17T21:45:25Z
Update Standards-Version
-
8f33199e
by Benjamin Barenblat
at 2019-02-17T21:45:25Z
Make build verbose
-
ac180116
by Benjamin Barenblat
at 2019-02-17T21:45:25Z
Perform clean by calling `make clean`, not `make distclean`
-
d10b86dc
by Benjamin Barenblat
at 2019-02-17T21:45:25Z
Ensure both bytecode and native code builds on native-code platforms
coq_makefile from Coq 8.9 does not automatically build bytecode when
native code is available. Forcibly build both on native-code platforms.
-
47393169
by Benjamin Barenblat
at 2019-02-17T21:48:17Z
Update path to .mli files
-
e915c63a
by Benjamin Barenblat
at 2019-02-17T22:08:35Z
Don’t install .cm(a|x|xa) files
-
b20441d2
by Benjamin Barenblat
at 2019-02-17T22:40:28Z
Ensure .cmi files are available when running ocamldoc
-
89a4c6dc
by Benjamin Barenblat
at 2019-02-17T22:44:25Z
Update Lintian overrides
-
3bc01565
by Benjamin Barenblat
at 2019-02-17T22:51:13Z
Correct copyright date for my contributions
I accidentally said “copyright 2018” in
7ecbed522b4b4a9829eb9bd7b3f36db53788a77c, but I’ve only ever touched
this project in 2019.
-
01c0849f
by Benjamin Barenblat
at 2019-02-18T00:33:14Z
Fix build on platforms without ocamlopt
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.
-
0714858a
by Benjamin Barenblat
at 2019-02-18T01:22:08Z
Fix install on platforms without ocamlopt
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.
-
a4e3df30
by Benjamin Barenblat
at 2019-02-18T01:29:35Z
Release for unstable