diff options
Diffstat (limited to 'debian')
| -rwxr-xr-x | debian/_base/tdeedu/debian/rules | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/debian/_base/tdeedu/debian/rules b/debian/_base/tdeedu/debian/rules index eb250bf48..366ff2006 100755 --- a/debian/_base/tdeedu/debian/rules +++ b/debian/_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 |