-
Notifications
You must be signed in to change notification settings - Fork 0
/
_oasis
48 lines (42 loc) · 1.44 KB
/
_oasis
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
OASISFormat: 0.4
Name: Isl
Version:
Synopsis: Nothing
Authors:
License: MIT
Plugins: DevFiles (0.4)
Library islraw
Path: src
BuildTools: ocamlbuild
BuildDepends: ctypes, ctypes.foreign
Modules: IslRaw
InternalModules: IslRaw_Types, IslRaw_Ctx, IslRaw_Value, IslRaw_Id, IslRaw_Space, IslRaw_LocalSpace, IslRaw_Constraint, IslRaw_Aff, IslRaw_Matrix, IslRaw_BasicSet, IslRaw_BasicMap, IslRaw_Set, IslRaw_Map, IslRaw_UnionSet, IslRaw_UnionMap, IslRaw_Printer
CompiledObject: native
CCOpt: -cclib,-Xlinker,-cclib,-no-as-needed,-Wl
CCLib: -L/usr/local/lib -lisl
Library isl
Path: src
BuildTools: ocamlbuild
BuildDepends: ctypes, islraw
Modules: Isl, Isl_Sigs
InternalModules: Isl_Types, Isl_Utils, Isl_Id, Isl_Value, Isl_Space, Isl_LocalSpace, Isl_Constraint, Isl_Aff, Isl_Matrix, Isl_BasicSet, Isl_Set, Isl_UnionSet, Isl_BasicMap, Isl_Map, Isl_UnionMap
CompiledObject: native
CCOpt: -cclib,-Xlinker,-cclib,-no-as-needed,-Wl
CCLib: -L/usr/local/lib -lisl
Executable test
Path: src
BuildTools: ocamlbuild
BuildDepends: isl
MainIs: test.ml
CompiledObject: best
AlphaFeatures: ocamlbuild_more_args
Document isl
Install: false
Type: ocamlbuild (0.3)
BuildTools: ocamlbuild, ocamldoc
Title: API reference for Llvmgraph
XOCamlbuildPath: .
XOCamlbuildExtraArgs:
"-docflags '-html -colorize-code -short-functors -charset utf-8'"
XOCamlbuildLibraries:
isl