###############################################################
#
#                       Graph 2 model checker(s) syntax
#
#  _oasis authors: Étienne André
#  Created:        2020/01/20
#  Last modified:  2020/01/20
###############################################################

OASISFormat: 0.3
Name:        Graph2MC
Version:     0.1
Synopsis:    shortdescription
Authors:     Étienne André
License:     GPL-3.0

Executable graph2mc
  Path:       .
  BuildTools: ocamlbuild
  MainIs:     src/Graph2MC.ml
  BuildDepends: extlib, str, unix, threads, fileutils
#  CCLib: -static '-lppl -ltinfo -lppl_ocaml -lstdc++ -lgmp -lgmpxx'

# CompiledObject: best
