From d10b86dc97e91ceb15134cc190d6f647a7c3d640 Mon Sep 17 00:00:00 2001
From: Benjamin Barenblat <bbaren@google.com>
Date: Wed, 13 Feb 2019 21:08:16 -0500
Subject: Ensure both bytecode and native code builds on native-code platforms

coq_makefile from Coq 8.9 does not automatically build bytecode when
native code is available. Forcibly build both on native-code platforms.
---
 debian/rules | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

diff --git a/debian/rules b/debian/rules
index cc3a662..c235160 100755
--- a/debian/rules
+++ b/debian/rules
@@ -7,10 +7,11 @@ include /usr/share/ocaml/ocamlvars.mk
 # Show full commands when building.
 export VERBOSE := 1
 
+TARGET := byte
+INSTALL_TARGET := install-byte
 ifeq ($(OCAML_NATDYNLINK),yes)
-  TARGET := opt
-else
-  TARGET := byte
+  TARGET += opt
+  INSTALL_TARGET += install
 endif
 
 %:
@@ -27,7 +28,7 @@ override_dh_auto_build:
 
 .PHONY: override_dh_auto_install
 override_dh_auto_install:
-	$(MAKE) -f Makefile.coq install DSTROOT=$(CURDIR)/debian/tmp
+	$(MAKE) -f Makefile.coq $(INSTALL_TARGET) DSTROOT=$(CURDIR)/debian/tmp
 
 .PHONY: override_dh_install
 override_dh_install:
-- 
cgit v1.2.3