forked from thomasblanc/ocp-manager
-
Notifications
You must be signed in to change notification settings - Fork 0
/
build.ocp
35 lines (27 loc) · 791 Bytes
/
build.ocp
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
version="0.1.3"
command="ocp-manager"
release_date="2014-02-26"
(* This file is prefixed with configure variables by ./configure *)
copyright = [ "OCamlPro/INRIA 2011-2014" ]
authors = [ "Fabrice LE FESSANT <[email protected]>" ]
license = [ "GPLv3" ]
begin program "ocp-manager"
files = [
"manpage.ml" (* from ocplib-lang *)
"managerVersion.ml" ( ocp2ml = true
env_strings = [ "command";
"release_date";
] )
"managerMisc.ml"
"managerWrapper.ml"
"managerBinaries.ml"
"managerInit.ml"
"managerSwitch.ml"
"managerTools.ml"
"managerCompile.ml"
"managerConfig.ml"
"managerRestore.ml"
"managerMain.ml"
]
requires = [ "ocplib-lang" (* "opam-lib" *) "ocplib-system" ]
end