alt-ergo.opam.template

# This part comes from the template. Please edit alt-ergo.opam.template
# and not alt-ergo.opam which is generated by dune

license: [
  "OCamlPro Non-Commercial Purpose License, version 1"
  "LGPL-2.1-only"
]

build: [
  ["./configure" name]
  ["dune" "subst"] {pinned}
  ["dune" "build" "-p" name "-j" jobs]
]