This repository has been archived by the owner on Sep 10, 2022. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 11
/
Copy path_oasis
executable file
·81 lines (68 loc) · 2.35 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
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
OASISFormat: 0.4
Name: stream_s
Version: 0.1
Synopsis: Stream Fusion, Staged
Authors:
Oleg Kiselyov,
Aggelos Biboudis,
Nick Palladinos,
Yannis Smaragdakis
BuildTools: ocamlbuild
License: MIT
Plugins:
META (0.4),
DevFiles (0.4)
# +-------------------------------------------------------------------+
# | Flags |
# +-------------------------------------------------------------------+
Flag all
Description: Build and install everything
Default: false
Flag benchmarks
Description: Build and run benchmarks
Default: false
# +-------------------------------------------------------------------+
# | Libraries |
# +-------------------------------------------------------------------+
Library stream_s
Findlibname: staged-streams
Path: lib
BuildTools: ocamlbuild
InternalModules: Stream_constructors, Stream_combinators
Modules: Stream_s
# +-------------------------------------------------------------------+
# | Tests |
# +-------------------------------------------------------------------+
Executable run_benchmarks
Path: benchmarks
MainIs: benchmark_stream.ml
Build$: flag(benchmarks)
Install: false
BuildDepends: oml, staged-streams
Executable run_batteries_benchmarks
Path: benchmarks
MainIs: benchmark_batteries.ml
Build$: flag(benchmarks)
Install: false
BuildDepends: batteries (= 2.3)
Executable test_stream
Path: test
MainIs: test_stream.ml
Build$: flag(tests)
Install: false
BuildDepends: staged-streams, oUnit
Test stream
Command: $test_stream
TestTools: test_stream
Run$: flag(tests)
# Test benchmark_streams
# Command: $run_benchmarks
# TestTools: run_benchmarks
# Run$: flag(benchmarks)
# Test benchmark_batteries
# Command: $run_batteries_benchmarks
# TestTools: run_batteries_benchmarks
# Run$: flag(benchmarks)
# +-------------------------------------------------------------------+
# | Misc |
# +-------------------------------------------------------------------+