forked from gfngfn/SATySFi
-
Notifications
You must be signed in to change notification settings - Fork 0
/
satysfi.opam
38 lines (38 loc) · 950 Bytes
/
satysfi.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
opam-version: "1.2"
name: "satysfi"
version: "0.0.1"
maintainer: "gfngfn"
authors: [
"gfngfn"
]
homepage: "https://github.com/gfngfn/SATySFi"
dev-repo: "https://github.com/gfngfn/SATySFi.git"
bug-reports: "https://github.com/gfngfn/SATySFi/issues"
build: [
["echo" "\"begin to build SATySFi\""]
[make "-f" "Makefile" "PREFIX=%{prefix}%"]
[make "-f" "Makefile" "lib" "PREFIX=%{prefix}%"]
]
install: [
[make "-f" "Makefile" "install" "PREFIX=%{prefix}%"]
]
remove: [
[make "-f" "Makefile" "uninstall" "PREFIX=%{prefix}%"]
]
# Packages whose version suffix is "+satysfi" are distributed on satysfi-external-repo.
depends: [
"batteries"
"camlimages" {>= "5.0.1"}
"camlpdf" {= "2.2.1+satysfi"}
"core_kernel" {>= "v0.10.0"}
"cppo" {build & >= "1.6.4" & < "1.7.0"}
"depext"
"dune" {build}
"menhir"
"ocamlfind" {build}
"otfm" {= "0.3.0+satysfi"}
"ppx_deriving"
"uutf"
"yojson"
]
available: [ ocaml-version >= "4.06.0" ]