OASISFormat: 0.3
Name:        gmp
Version:     20120224
Synopsis:    GMP
Authors:     Jean-Christophe Filliatre.
License:     ISC
Plugins:     META (0.3)
BuildTools:  ocamlbuild

Library gmp
  Path: .
  Modules: Gmp
  CSources: mlgmp_z.c,mlgmp_q.c,mlgmp_f.c,mlgmp_fr.c,mlgmp_random.c,mlgmp_misc.c,config.h,mlgmp.h
  CCLib: -L/usr/local/lib -lgmp -lmpfr
  CCOpt: -I/usr/local/include -Wall
