_oasis

###############################################################
#
#                       IMITATOR
#
#  National University of Singapore
#  École Centrale de Nantes
#  Université Sorbonne Paris Nord, LIPN, CNRS, France
#
#  _oasis authors: Étienne André
#  Created:        2016/02/29
#  Last modified:  2024/09/17
###############################################################

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

# Handling build number (using Python)
PreBuildCommand: python gen_build_info.py
PostBuildCommand: python incrementer.py && echo "Copying main binary file to bin/polyop ..." && cp _build/src/PolyOp.native bin/polyop && strip bin/polyop


Executable polyop
  Path:       .
  BuildTools: ocamlbuild
  MainIs:     src/PolyOp.ml
  BuildDepends: gmp, extlib, ppl, str, unix
  CCLib: -static '-lppl -ltinfo -lppl_ocaml -lstdc++ -lgmp -lgmpxx'

  CompiledObject: best


Test startingcomment
  Command: echo "\n********** STARTING TESTS **********\n"

Test tes1
 # Command: echo "\n********** TEST 1 **********\n"; \
 #      ./bin/polyop examples/example.polyop
  Command: python ./tests/test.py

Test finalcomment
  Command: echo "\n********** END TESTS **********\n"