Project

General

Profile

« Previous | Next » 

Revision dccec723

Added by LĂ©lio Brun over 3 years ago

a version that almost work for the k-inuctive two_counters example

View differences:

lustrec.opam
25 25
]
26 26
depopts: ["z3"]
27 27
build: [
28
  ["dune" "subst" "--root" "."] {dev}
28
  ["dune" "subst"] {dev}
29 29
  [
30 30
    "dune"
31 31
    "build"
......
33 33
    name
34 34
    "-j"
35 35
    jobs
36
    "--promote-install-files"
37
    "false"
36
    "--promote-install-files=false"
38 37
    "@install"
39 38
    "@runtest" {with-test}
40 39
    "@doc" {with-doc}

Also available in: Unified diff