This repository was archived by the owner on Jun 9, 2019. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy path_oasis
60 lines (54 loc) · 1.47 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
49
50
51
52
53
54
55
56
57
58
59
60
OASISFormat: 0.4
Name: js-truthiness
Version: 0.1
Synopsis: JSStreaming testing tools
Authors: Johannes Kloos
Plugins: StdFiles (0.4)
License: PROP
OCamlVersion: >= 4.02.1
AlphaFeatures: no_automatic_syntax
Flag certifier
Description: "Build the certifier"
Default: false
Flag prettyprint
Description: "Build the pretty-printers"
Default: false
Executable "jstruthiness"
Path: .
BuildTools: ocamlbuild
MainIs: oracleMain.ml
BuildDepends: js-enrichment, unix, pcre
CompiledObject: best
Executable "jstruthiness-job"
Path: .
BuildTools: ocamlbuild
MainIs: oracleJobClient.ml
BuildDepends: js-enrichment, unix, pcre, job, posix_resource
CompiledObject: best
Executable "dumplog"
Path: .
BuildTools: ocamlbuild
MainIs: dumplog.ml
Install$: flag(prettyprint)
BuildDepends: js-enrichment
CompiledObject: best
#Executable "certifier"
# Path: .
# Build$: flag(certifier)
# BuildTools: ocamlbuild
# MainIs: certifier.ml
# BuildDepends: js-enrichment, cow, cow.syntax, lwt, batteries,
# ocamlgraph, cohttp, cohttp.lwt, lwt.unix, pcre
# CompiledObject: best
#
#Executable "unittests"
# Path: .
# BuildTools: ocamlbuild
# Install: false
# Build$: flag(tests)
# MainIs: unittests.ml
# BuildDepends: kaputt, js-enrichment, js-enrichment.test, pcre
#
#Test "unittests"
# Command: $unittests
# Run: true