TREX/trexio
1
0
Fork 0
mirror of https://github.com/TREX-CoE/trexio.git synced 2024-12-22 20:35:44 +01:00
Code Issues Projects Releases Wiki Activity

Updated OCaml binding

Browse Source
This commit is contained in:
Anthony Scemama 2024-05-27 15:21:52 +02:00
parent 05b943f6ed
commit 097162a624
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
ocaml/trexio/read_json.py
View File

@ -8,10 +8,10 @@ ml_file = "trexio.ml"
mli_file = ml_file+"i"
def check_version():
with open('trexio.opam','r') as f:
with open('dune-project','r') as f:
for line in f:
if line.startswith("version"):
ocaml_version = line.split(':')[1].strip()[1:-1]
if line.startswith("(version"):
ocaml_version = line.split()[1].strip().replace(')','')
break
with open('../../configure.ac','r') as f:
for line in f: