Description: ocamlopt is not universally available
 .
 z3 (4.4.0-4) unstable; urgency=low
 .
   * Add libz3-jni package to split out arch-specific files from java package.
     (Closes: #797515)
   * Don't claim multi-arch compatibilty of libz3-cil. (Closes: #797514)
   * ocamlopt isn't universally available, and never actually used in the build
     process.
Author: Michael Tautschnig <mt@debian.org>

---
The information above should follow the Patch Tagging Guidelines, please
checkout http://dep.debian.net/deps/dep3/ to learn about the format. Here
are templates for supplementary fields that you might want to add:

Origin: <vendor|upstream|other>, <url of original patch>
Bug: <url in upstream bugtracker>
Bug-Debian: https://bugs.debian.org/<bugnumber>
Bug-Ubuntu: https://launchpad.net/bugs/<bugnumber>
Forwarded: <no|not-needed|url proving that it has been forwarded>
Reviewed-By: <name and email of someone who approved the patch>
Last-Update: <YYYY-MM-DD>

--- z3-4.4.0.orig/scripts/mk_project.py
+++ z3-4.4.0/scripts/mk_project.py
@@ -102,7 +102,6 @@ def init_project_def():
     add_c_example('maxsat')
     add_dotnet_example('dotnet_example', 'dotnet')
     add_java_example('java_example', 'java')
-    add_ml_example('ml_example', 'ml')
     add_z3py_example('py_example', 'python')
     return API_files
 
--- z3-4.4.0.orig/scripts/mk_util.py
+++ z3-4.4.0/scripts/mk_util.py
@@ -383,11 +383,6 @@ def check_ml():
     r = exec_cmd([OCAMLC, '-o', 'a.out', 'hello.ml'])
     if r != 0:
         raise MKException('Failed testing ocamlc compiler. Set environment variable OCAMLC with the path to the Ocaml compiler')
-    if is_verbose():
-        print ('Testing %s...' % OCAMLOPT)
-    r = exec_cmd([OCAMLOPT, '-o', 'a.out', 'hello.ml'])
-    if r != 0:
-        raise MKException('Failed testing ocamlopt compiler. Set environment variable OCAMLOPT with the path to the Ocaml native compiler. Note that ocamlopt may require flexlink to be in your path.')
     try:
         rmf('hello.cmi')
         rmf('hello.cmo')
