forked from Kappa-Dev/KappaTools
-
Notifications
You must be signed in to change notification settings - Fork 0
/
opam
37 lines (31 loc) · 917 Bytes
/
opam
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
opam-version: "1.2"
name: "KaSim"
version: "4~dev"
maintainer: "Pierre Boutillier <pierre.boutillier@laposte.net>"
authors: [
"Jean Krivine" "Jérôme Feret" "Pierre Boutillier"
"Ioana Cristescu" "Mutaamba Maasha" "Lý Kim Quyên"
]
license: "LGPL-3.0"
homepage: "http://dev.executableknowledge.org/"
bug-reports: "https://github.com/Kappa-Dev/KaSim/issues"
dev-repo: "https://github.com/Kappa-Dev/KaSim.git"
depends : [
"ocamlfind"
"ocamlbuild" {build}
"yojson"
]
depopts: [
"labltk" "lwt" "cohttp"
"atdgen" {build}
]
build: [
[ make "USE_TK=1" {labltk:installed} "all" ]
[ make "agents" ] {atdgen:installed & lwt:installed}
[ make "META" "kappalib" ]
[ make "bin/WebSim" ] {atdgen:installed & lwt:installed & cohttp:installed}
]
install: [ [ make "install-lib" ] ]
remove: [ [ "ocamlfind" "remove" "KappaLib" ] ]
build-test: [ [ make "check" ] ]
available: [ ocaml-version >= "4.02.3" ]