Adds include directory for gmp to ocamlc

imitator-model-checker / imitator

IMITATOR is a parametric timed model checker taking as input extensions of parametric timed automata, and synthesizing parameter valuations for safety properties and more.

https://www.imitator.fr/

GNU General Public License v3.0

26 stars 12 forks source link

Adds include directory for gmp to ocamlc #156

Closed tomaz1502 closed 8 months ago

tomaz1502 commented 8 months ago

This PR adds the include directory for GMP in some commands of the Makefile for MLGMP.

It seems that this is necessary in some Mac machines. I could only compile IMITATOR on mine after this patch.