diff options
Diffstat (limited to 'debian/rules')
| -rwxr-xr-x | debian/rules | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/debian/rules b/debian/rules index 5083fdf8..0aa899e8 100755 --- a/debian/rules +++ b/debian/rules @@ -91,7 +91,7 @@ override_dh_auto_install: $(MAKE) $(ADDPREF) install install-byte find debian/tmp -regextype posix-awk \ -regex '.*\.(cmi|cmx|cmxa|[ao])$$' \ - | grep -v toploop/ | grep -v coq-native \ + | grep -v coq-native \ >> debian/libcoq-ocaml-dev.install find debian/tmp -name '*.vo' -printf '%P\n' \ >> debian/coq-theories.install @@ -104,7 +104,6 @@ override_dh_auto_install: .PHONY: override_dh_install override_dh_install: - chmod a-x debian/tmp/usr/lib/coq/toploop/*cma chmod +x debian/coq.install dh_install --fail-missing |