-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy path_oasis
44 lines (37 loc) · 890 Bytes
/
_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
OASISFormat: 0.4
Name: dimtype
Version: 0.1
Synopsis: Dimension type system
Authors: KINOSHITA Minoru
License: MIT
Plugins: META (0.4), DevFiles (0.4)
BuildTools: ocamlbuild
Library "dimtype"
Path: lib
Modules: Solver, Algebra, Typ, Id
InternalModules: Util
BuildDepends: num, str
Pack: true
AlphaFeatures: ocamlbuild_more_args
Document "dimtype"
Type: ocamlbuild (0.4)
BuildTools: ocamldoc
Title: API reference for dimtype
XOCamlbuildPath: .
XOCamlbuildExtraArgs:
"-docflags '-colorize-code -short-functors -charset utf-8'"
XOCamlbuildLibraries: dimtype
Executable "test_suite"
Path: t
MainIs: test.ml
BuildDepends: dimtype
Test "test_suite"
Command: $test_suite
Flag example
Description: build examples
Default: false
Executable "imp"
Path: example
MainIs: imp.ml
Build$: flag(example)
BuildDepends: dimtype