[Pkg-ocaml-maint-commits] [ssreflect] 06/06: fix binary-only build

[Enrico Tassi]

This is an automated email from the git hooks/post-receive script.

gareuselesinge pushed a commit to branch master
in repository ssreflect.

commit 63902441a884528ef2e39749601956991ba14ac8
Author: Enrico Tassi <gares at fettunta.org>
Date:   Mon Sep 26 17:33:56 2016 +0200

    fix binary-only build
---
 debian/rules | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/debian/rules b/debian/rules
index 39815a0..67c37a7 100755
--- a/debian/rules
+++ b/debian/rules
@@ -34,7 +34,8 @@ ifeq ($(findstring libssreflect-coq,$(PACKAGES)),)
 	$(MAKE) -C mathcomp Makefile.coq
 	$(MAKE) -C mathcomp -f Makefile.coq $(PLUGIN_TARGETS)
 	install -d $(INSTALL_DIR)
-	install -m 644 $(PLUGIN_TARGETS) $(EXTRA_FILES) $(INSTALL_DIR)
+	cd mathcomp; \
+		install -m 644 $(PLUGIN_TARGETS) $(EXTRA_FILES) $(INSTALL_DIR)
 else
 # Full build
 	$(MAKE) -C mathcomp

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/ssreflect.git