From 01c0849f6bfb9ee6d2a57bb53da69eade2fa37e9 Mon Sep 17 00:00:00 2001
From: Benjamin Barenblat <bbaren@google.com>
Date: Sun, 17 Feb 2019 19:33:14 -0500
Subject: Fix build on platforms without ocamlopt

coq_makefile generates Makefiles that reference ocamlopt, even on
platforms without ocamlopt. Export `OPT=-byte` on such platforms to
prevent the generated Makefile from trying to invoke ocamlopt.
---
 debian/rules | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/debian/rules b/debian/rules
index c235160..d39b8c6 100755
--- a/debian/rules
+++ b/debian/rules
@@ -12,6 +12,8 @@ INSTALL_TARGET := install-byte
 ifeq ($(OCAML_NATDYNLINK),yes)
   TARGET += opt
   INSTALL_TARGET += install
+else
+  export OPT := -byte
 endif
 
 %:
-- 
cgit v1.2.3