-
Notifications
You must be signed in to change notification settings - Fork 0
/
_oasis
39 lines (34 loc) · 1.21 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
OASISFormat: 0.4
Name: mcl
Version: 0.1
Synopsis: Modeling Core Language based on OCaml
Authors: Christoph Höger <[email protected]>
License: BSD-3-clause
Plugins: META (0.4), StdFiles (0.4), DevFiles (0.4)
# for corebuild compatibility:
AlphaFeatures: ocamlbuild_more_args
XOCamlbuildExtraArgs: -j 4 -verbose 0 -tag thread -tag debug -tag annot -tag bin_annot -tag short_paths -classic-display
Library mcllib
Path: src
CompiledObject: best
BuildTools: ocamlbuild
Modules: Mcl, Mcl_lexer, Mcl_parser, Mcl_gen_parser, Mcl_dynamics, Mcl_pp, Mcl_ocaml, Ocaml_genprintval, Ocaml_toploop, Ocaml_opttoploop
BuildDepends: bigarray, batteries, menhirLib, sedlex, compiler-libs.common, compiler-libs.bytecomp, compiler-libs.optcomp, dynlink, ppx_deriving.eq, ppx_deriving.show
Executable mclc
Path: src
MainIs: mclc.ml
BuildTools: ocamlbuild
CompiledObject: best
BuildDepends: mcllib, batteries
Executable "mcl_tests"
Path: test
MainIs: mcl_tests.ml
BuildTools: ocamlbuild
Build$: flag(tests)
CompiledObject: best
Install: false
BuildDepends: mcllib, oUnit
Test "unit_tests"
TestTools: mcl_tests
Command: $mcl_tests
WorkingDirectory: test