/
learn-ocaml.opam
79 lines (79 loc) · 1.89 KB
/
learn-ocaml.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
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
opam-version: "2.0"
name: "learn-ocaml"
version: "0.13.2"
authors: [
"Benjamin Canou (OCamlPro)"
"Çağdaş Bozman (OCamlPro)"
"Grégoire Henry (OCamlPro)"
"Louis Gesbert (OCamlPro)"
"Pierrick Couderc (OCamlPro)"
]
maintainer: [
"Yann Régis-Gianas <yann.regis-gianas@nomadic-labs.com>"
"Érik Martin-Dorel <erik.martin-dorel@irit.fr>"
]
license: "MIT"
homepage: "https://github.com/ocaml-sf/learn-ocaml"
bug-reports: "https://github.com/ocaml-sf/learn-ocaml/issues"
dev-repo: "git+https://github.com/ocaml-sf/learn-ocaml"
depends: [
"asak"
"base64"
"base" {>= "v0.9.4"}
"cmdliner"
"cohttp" {>= "2.0.0"}
"cohttp-lwt" {>= "2.0.0"}
"cohttp-lwt-unix" {>= "2.0.0"}
"conf-git"
"decompress" {= "0.8.1"}
"digestif" {>= "0.7.1"}
"dune" {>= "2.3.0"}
"easy-format" {>= "1.3.0" }
"ezjsonm"
"ipaddr" {>= "2.8.0" }
"js_of_ocaml" {>= "3.3.0" & != "3.10.0"}
"js_of_ocaml-compiler" {>= "3.3.0"}
"js_of_ocaml-lwt"
"js_of_ocaml-ppx"
"js_of_ocaml-toplevel"
"js_of_ocaml-tyxml"
"lwt" {>= "4.0.0"}
"lwt_react"
"lwt_ssl"
"magic-mime"
"markup"
"markup-lwt"
"ocaml" {(>= "4.12") & (< "4.13~")}
"ocamlfind" {build}
"ocp-indent-nlfork"
"ocplib-json-typed" {>= "0.7"}
"ocplib-json-typed-browser" {>= "0.7"}
"ocp-ocamlres" {>= "0.4"}
"odoc" {build}
"omd" {<= "1.3.1"}
"pprint"
"ppx_cstruct"
"ppxlib"
"ppx_sexp_conv"
"ppx_tools"
"ppx_tools_versioned"
"re"
"ssl" {= "0.5.10"}
"uutf" {>= "1.0" }
"vg"
"yojson" {>= "1.4.0" }
]
build: [
[make "static"]
["dune" "build" "-p" name "-j" jobs]
[make "detect-libs"] {with-test}
]
install: [
["mkdir" "-p" "%{_:share}%"]
["cp" "-r" "demo-repository" "%{_:share}%/repository"]
]
synopsis: "The learn-ocaml online platform (engine)"
description: """
This contains the binaries forming the engine for the learn-ocaml platform, and
the common files. A demo exercise repository is also provided as example.
"""