mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-06 22:23:22 +00:00
Code Activity

Merge branch 'new_ocaml_install' of https://github.com/wintersteiger/z3 into new_ocaml_install

Browse source
This commit is contained in:
Christoph M. Wintersteiger 2015-12-12 19:34:02 +00:00
commit d456400f93
1 changed files with 2 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
scripts/mk_util.py
View file

@ -1816,6 +1816,7 @@ class MLComponent(Component):
def mk_install(self, out): def mk_install(self, out):
if is_ml_enabled() and OCAMLFIND != '': if is_ml_enabled() and OCAMLFIND != '':
out.write('\t@%s install Z3 %s' % (OCAMLFIND, (os.path.join(self.sub_dir, 'META')))) out.write('\t@%s install Z3 %s' % (OCAMLFIND, (os.path.join(self.sub_dir, 'META'))))
for m in self.modules: for m in self.modules:
out.write(' ' + os.path.join(self.to_src_dir, m) + '.mli') out.write(' ' + os.path.join(self.to_src_dir, m) + '.mli')
out.write(' ' + os.path.join(self.sub_dir, m) + '.cmi') out.write(' ' + os.path.join(self.sub_dir, m) + '.cmi')
@ -3661,3 +3662,4 @@ def configure_file(template_file_path, output_file_path, substitutions):
if __name__ == '__main__': if __name__ == '__main__':
import doctest import doctest
doctest.testmod() doctest.testmod()