diff options
| author |  Benjamin Barenblat <bbaren@debian.org> | 2019-02-05 11:24:23 -0500 |
|---|---|---|
| committer | Benjamin Barenblat <bbaren@debian.org> | 2019-02-05 11:24:23 -0500 |
| commit | 6e23288ca437e8a2761a93da1c09ec52460606aa (patch) | |
| tree | 81d822db80f9724b48f036e725379674412a928f /debian/libcoq-ocaml.install.in | |
| parent | 956960a408a4fe67c7508bf3101d469b6465686d (diff) | |
Disable ssrmatching and ssreflect
The nonfree file in ssrmatching I removed in
cf916fd97fbac51af6fa68ec2704da2a28ef9ede turns out to be important to
the build process, and I can’t figure out how to replicate its effects
without including the file itself. Disable ssrmatching and ssreflect
again until the license situation gets resolved.
Diffstat (limited to 'debian/libcoq-ocaml.install.in')
| -rw-r--r-- | debian/libcoq-ocaml.install.in | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/debian/libcoq-ocaml.install.in b/debian/libcoq-ocaml.install.in index 44d87c81..c89a0e53 100644 --- a/debian/libcoq-ocaml.install.in +++ b/debian/libcoq-ocaml.install.in @@ -21,8 +21,6 @@ usr/lib/coq/plugins/syntax/nat_syntax_plugin.cmo usr/lib/coq/plugins/syntax/ascii_syntax_plugin.cmo usr/lib/coq/plugins/syntax/string_syntax_plugin.cmo usr/lib/coq/plugins/syntax/z_syntax_plugin.cmo -usr/lib/coq/plugins/ssr/ssreflect_plugin.cmo -usr/lib/coq/plugins/ssrmatching/ssrmatching_plugin.cmo usr/lib/coq/toploop/proofworkertop.cma usr/lib/coq/toploop/tacworkertop.cma usr/lib/coq/toploop/queryworkertop.cma @@ -51,5 +49,3 @@ DYN: usr/lib/coq/plugins/syntax/r_syntax_plugin.cmxs DYN: usr/lib/coq/plugins/syntax/int31_syntax_plugin.cmxs DYN: usr/lib/coq/plugins/syntax/ascii_syntax_plugin.cmxs DYN: usr/lib/coq/plugins/syntax/string_syntax_plugin.cmxs -DYN: usr/lib/coq/plugins/ssr/ssreflect_plugin.cmxs -DYN: usr/lib/coq/plugins/ssrmatching/ssrmatching_plugin.cmxs |