From 6e23288ca437e8a2761a93da1c09ec52460606aa Mon Sep 17 00:00:00 2001 From: Benjamin Barenblat Date: Tue, 5 Feb 2019 11:24:23 -0500 Subject: Disable ssrmatching and ssreflect MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit 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. --- debian/libcoq-ocaml.install.in | 4 ---- 1 file changed, 4 deletions(-) (limited to 'debian/libcoq-ocaml.install.in') 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 -- cgit v1.2.3