diff options
| author |  Samuel Mimram <smimram@debian.org> | 2006-06-16 14:41:51 +0000 |
|---|---|---|
| committer | Samuel Mimram <smimram@debian.org> | 2006-06-16 14:41:51 +0000 |
| commit | 0df132d1c1cd28db10b4ee664230f8043e9006b9 (patch) | |
| tree | 5dfa00e3d57544c1b16773d872b0b42cb462b7de /debian/rules | |
| parent | 35335c0605a84770f93965ea6b315cd369e9b731 (diff) | |
New upstream release.debian/8.0pl3+8.1beta-1
Diffstat (limited to 'debian/rules')
| -rwxr-xr-x | debian/rules | 11 |
1 files changed, 5 insertions, 6 deletions
diff --git a/debian/rules b/debian/rules index 550349dd..57444fb7 100755 --- a/debian/rules +++ b/debian/rules @@ -13,7 +13,7 @@ include /usr/share/dpatch/dpatch.make COQPREF := $(CURDIR)/debian/tmp ADDPREF := COQINSTALLPREFIX=$(COQPREF) -CONFIGUREOPTS := --prefix /usr --mandir /usr/share/man --emacslib /usr/share/emacs/site-lisp/coq --reals all +CONFIGUREOPTS := --prefix /usr --mandir /usr/share/man --emacslib /usr/share/emacs/site-lisp/coq --reals all --fsets all configure: configure-stamp configure-stamp: @@ -78,11 +78,10 @@ install: build echo "Stripping: $$i"; \ strip -R .note -R .comment $$i; \ done - -for i in $(COQPREF)/usr/bin/coqide.*; do \ - echo "Rpath for `chrpath $$i`"; \ - echo "Removing rpath: $$i"; \ - chrpath -d $$i; \ - done + if [ -e opt-stamp ]; then \ + strip -R .note -R .comment $ $(COQPREF)/usr/bin/coqc; \ + strip -R .note -R .comment $(COQPREF)/usr/bin/coqmktop; \ + fi cp debian/coq.xpm debian/coq/usr/share/pixmaps/coq.xpm cp debian/coq.xpm debian/coqide/usr/share/pixmaps/coqide.xpm cp debian/coqide.desktop debian/coqide/usr/share/applications |