summaryrefslogtreecommitdiff
path: root/debian/rules
diff options
context:
space:
mode:
Diffstat (limited to 'debian/rules')
-rwxr-xr-xdebian/rules2
1 files changed, 2 insertions, 0 deletions
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
%: