diff --git a/debian/_base/tdeedu/debian/rules b/debian/_base/tdeedu/debian/rules
index 366ff2006..0070b7556 100755
--- a/debian/_base/tdeedu/debian/rules
+++ b/debian/_base/tdeedu/debian/rules
@@ -17,10 +17,10 @@ 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.
+# ocamlopt 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)
+# according to ocamlopt availability.
+HAVE_OCAMLOPT= $(if $(wildcard /usr/bin/ocamlopt),ON,OFF)
 
 DEB_CMAKE_EXTRA_FLAGS := \
  -DCMAKE_INSTALL_PREFIX="/opt/trinity" \
@@ -32,7 +32,7 @@ DEB_CMAKE_EXTRA_FLAGS := \
  -DCMAKE_SKIP_RPATH="OFF" \
  -DBUILD_ALL="ON" \
  -DWITH_ALL_OPTIONS="ON" \
- -DWITH_OCAML_SOLVER="$(HAVE_OCAMLDEP)"
+ -DWITH_OCAML_SOLVER="$(HAVE_OCAMLOPT)"
 
 DEB_MAKE_CHECK_TARGET = check
 
diff --git a/ubuntu/_base/tdeedu/debian/rules b/ubuntu/_base/tdeedu/debian/rules
index 366ff2006..0070b7556 100755
--- a/ubuntu/_base/tdeedu/debian/rules
+++ b/ubuntu/_base/tdeedu/debian/rules
@@ -17,10 +17,10 @@ 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.
+# ocamlopt 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)
+# according to ocamlopt availability.
+HAVE_OCAMLOPT= $(if $(wildcard /usr/bin/ocamlopt),ON,OFF)
 
 DEB_CMAKE_EXTRA_FLAGS := \
  -DCMAKE_INSTALL_PREFIX="/opt/trinity" \
@@ -32,7 +32,7 @@ DEB_CMAKE_EXTRA_FLAGS := \
  -DCMAKE_SKIP_RPATH="OFF" \
  -DBUILD_ALL="ON" \
  -DWITH_ALL_OPTIONS="ON" \
- -DWITH_OCAML_SOLVER="$(HAVE_OCAMLDEP)"
+ -DWITH_OCAML_SOLVER="$(HAVE_OCAMLOPT)"
 
 DEB_MAKE_CHECK_TARGET = check