simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2025-12-09 20:55:39 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

chore: disable opam testing for msat-bin

Browse source
This commit is contained in:
Simon Cruanes 2020-02-28 09:29:48 -06:00
parent b4ef8e4e67
commit 8ef4913c92
2 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
dune
View file

@ -3,6 +3,7 @@
(name runtest)
(deps README.md src/core/msat.cma src/sat/msat_sat.cma (source_tree src))
(locks test)
(package msat)
(action (progn
(run mdx test README.md)
(diff? README.md README.md.corrected))))

2
msat-bin.opam
View file

@ -7,7 +7,7 @@ author: ["Simon Cruanes" "Guillaume Bury"]
maintainer: ["guillaume.bury@gmail.com" "simon.cruanes.2007@m4x.org"]
build: [
["dune" "build" "@install" "-p" name "-j" jobs]
["dune" "runtest" "-p" name "-j" jobs] {with-test}
#["dune" "runtest" "-p" name "-j" jobs] {with-test}
]
depends: [
"ocaml" { >= "4.03" }