File: byte-code

package info (click to toggle)
ocplib-simplex 0.4-2
  • links: PTS, VCS
  • area: main
  • in suites: bookworm, bullseye
  • size: 328 kB
  • sloc: ml: 1,685; makefile: 122; sh: 17
file content (12 lines) | stat: -rwxr-xr-x 275 bytes parent folder | download | duplicates (3) 
1
2
3
4
5
6
7
8
9
10
11
12
 
#!/bin/sh

set -e

testdir=${AUTOPKGTEST_TMP}
cp tests/* ${testdir}
cd ${testdir}

ocamlc -o standalone_minimal -I `ocamlfind query ocplib-simplex` \
       ocplibSimplex.cma nums.cma standalone_minimal.ml
./standalone_minimal 2> /dev/null | grep -q "The problem is unsat!"