_oasis

OASISFormat: 0.4
Name:        ocaml-isl
Version:     0.0.1
Synopsis:    OCaml bindings for ISL
Authors:     G. Deest
License:     MIT
Plugins:     DevFiles (0.4), META (0.4)

Library "isl_core"
  Path:		src/core
  BuildTools:	ocamlbuild
  BuildDepends:	ctypes, ctypes.foreign
  FindlibParent: isl
  FindlibName:	core
  Modules:	IslMemory, IslErrors, Types, IslCtx, IslAff_Core, IslBasicMap_Core, IslBasicSet_Core, IslConstraint_Core, IslId_Core, IslLocalSpace_Core, IslMap_Core, IslSet_Core, IslUnionMap_Core, IslUnionSet_Core, IslValue_Core

# Library "isl"
#   Path:		src/isl
#   BuildTools:	ocamlbuild
#   BuildDepends:	isl.core
#   FindlibName:	isl
#   Modules:	Main

Library "isl"
  Path:            src/
  BuildTools:      ocamlbuild
  BuildDepends: ctypes, ctypes.foreign, isl.core
  CompiledObject: native
  FindlibName: isl
  Modules: Isl, IslBasicMap, gen/IslAff_sigs, gen/IslBasicMap_sigs, gen/IslBasicSet_sigs, gen/IslConstraint_sigs, gen/IslId_sigs, gen/IslLocalSpace_sigs, gen/IslMap_sigs, gen/IslSet_sigs, gen/IslUnionMap_sigs, gen/IslUnionSet_sigs, gen/IslValue_sigs, gen/IslSpace_sigs
  InternalModules: gen/IslAff_In, gen/IslBasicMap_In, gen/IslBasicSet_In, gen/IslConstraint_In, gen/IslId_In, gen/IslLocalSpace_In, gen/IslMap_In, gen/IslSet_In, gen/IslUnionMap_In, gen/IslUnionSet_In, gen/IslValue_In, gen/IslSpace_In
  CCOpt: -cclib,-Xlinker,-cclib,-no-as-needed,-Wl
  CCLib: -L/usr/local/lib -lisl

Document doc
  Install: false
  Title: API Document for Impulsive
  Type: ocamlbuild (0.3)
  BuildTools: ocamldoc, ocamlbuild
  XOCamlbuildPath: .
  XOCamlbuildLibraries: isl

# # Executable setops
# #   Install: false
# #   Path:       src-tests
# #   Build$: flag(tests)
# #   BuildDepends: isl
# #   BuildTools: ocamlbuild
# #   CompiledObject: native
# #   MainIs:     setops.ml
 
# # Test "Set operations"
# #   Type: Custom (0.0.1)
# #   Command: $setops
# #   WorkingDirectory: /tmp

Executable hl
  Install: false
  Path:       src-tests
  Build$: flag(tests)
  BuildDepends: isl
  BuildTools: ocamlbuild
  CompiledObject: native
  MainIs:     hlTest.ml

Executable buildSet
  Install: false
  Path:       src-tests
  Build$: flag(tests)
  BuildDepends: isl
  BuildTools: ocamlbuild
  CompiledObject: native
  MainIs:     buildSet.ml

Test "High-Level API"
  Type: Custom (0.0.1)
  Command: $hl
  WorkingDirectory: /tmp

Test "Build set"
  Type: Custom (0.0.1)
  Command: $buildSet
  WorkingDirectory: /tmp