Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Fetching contributors…

Cannot retrieve contributors at this time

17 lines (16 sloc) 0.628 kB
opam-version: "1"
maintainer: "contact@ocamlpro.com"
substs: ["opam.patch"]
build: [
["autoconf"]
["./configure" "--enable-verbosemake" "OCAMLGRAPHLIB=%{lib}%/ocamlgraph" "--prefix" "%{prefix}%" "--sbindir=%{lib}%/why/sbin" "--libexecdir=%{lib}%/why/libexec" "--sysconfdir=%{lib}%/why/etc" "--sharedstatedir=%{lib}%/why/com" "--localstatedir=%{lib}%/why/var" "--libdir=%{lib}%/why/lib" "--includedir=%{lib}%/why/include" "--datarootdir=%{lib}%/why/share"]
["%{make}%"]
["%{make}%" "install"]
]
depends: [
"lablgtk" {= "2.14.2-oasis8"}
"ocamlgraph" {= "1.8.2"}
"coq" {= "8.3"}
"frama-c"
]
patches: ["opam.patch"]
Jump to Line
Something went wrong with that request. Please try again.