Commit 2790f005 authored by Simon Prucker's avatar Simon Prucker
Browse files

cool.opam

parent 88182874
Pipeline #12150 waiting for manual action with stages
in 26 seconds
# This file is generated by dune, edit dune-project instead
opam-version: "2.0"
version: "2.1"
maintainer: ["Merlin Göttlinger" "Simon Prucker"]
authors: [
"Aaron Strahlberger"
"Christoph Egger"
"Daniel Hausmann"
"Dirk Pattinson"
"Dominik Paulus"
"Hans-Peter Deifel"
"Kristin Braun"
"Merlin Göttlinger"
"Simon Prucker"
"Thorsten Wißmann"
]
license: "GPL3"
depends: [
"ounit2" {with-test}
"dune" {>= "2.0"}
"hashcons" {> "1.0"}
"ocamline" {> "1.0"}
"ocamlfind" {> "1.0"}
"ocamlgraph" {> "1.0"}
"pgsolver" {> "1.0"}
"menhir" {> "1.0"}
]
build: [
["dune" "subst"] {pinned}
[
"dune"
"build"
"-p"
name
"-j"
jobs
"@install"
"@runtest" {with-test}
"@doc" {with-doc}
]
]
dev-repo: "https://git8.cs.fau.de/software/cool"
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment