summaryrefslogtreecommitdiffstats
path: root/ubuntu/_base/tdeedu
diff options
context:
space:
mode:
Diffstat (limited to 'ubuntu/_base/tdeedu')
-rwxr-xr-xubuntu/_base/tdeedu/debian/rules9
1 files changed, 8 insertions, 1 deletions
diff --git a/ubuntu/_base/tdeedu/debian/rules b/ubuntu/_base/tdeedu/debian/rules
index eb250bf48..366ff2006 100755
--- a/ubuntu/_base/tdeedu/debian/rules
+++ b/ubuntu/_base/tdeedu/debian/rules
@@ -16,6 +16,12 @@ DEB_DH_MAKESHLIBS_ARGS_libkiten1-trinity := -V'libkiten1-trinity'
PACKAGES_WITH_LIBS := libtdeedu3-trinity libkiten1-trinity kvoctrain-trinity
+# Although ocaml is available for all architectures,
+# ocamldep for some architectures is not available.
+# Therefore, kalzium/solver build will be required
+# according to ocamldep availability.
+HAVE_OCAMLDEP = $(if $(wildcard /usr/bin/ocamldep),ON,OFF)
+
DEB_CMAKE_EXTRA_FLAGS := \
-DCMAKE_INSTALL_PREFIX="/opt/trinity" \
-DCONFIG_INSTALL_DIR="/etc/trinity" \
@@ -25,7 +31,8 @@ DEB_CMAKE_EXTRA_FLAGS := \
-DCMAKE_VERBOSE_MAKEFILE="ON" \
-DCMAKE_SKIP_RPATH="OFF" \
-DBUILD_ALL="ON" \
- -DWITH_ALL_OPTIONS="ON"
+ -DWITH_ALL_OPTIONS="ON" \
+ -DWITH_OCAML_SOLVER="$(HAVE_OCAMLDEP)"
DEB_MAKE_CHECK_TARGET = check