File: native-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 (13 lines) | stat: -rwxr-xr-x 322 bytes parent folder | download | duplicates (3) 
1
2
3
4
5
6
7
8
9
10
11
12
13
 
#!/bin/sh

set -e

testdir=${AUTOPKGTEST_TMP}
cp tests/* ${testdir}
cd ${testdir}
if [ -x '/usr/bin/ocamlopt' ]
then
    ocamlopt -o standalone_minimal -I `ocamlfind query ocplib-simplex` \
	     ocplibSimplex.cmxa nums.cmxa standalone_minimal.ml
    ./standalone_minimal 2> /dev/null | grep -q "The problem is unsat!"
fi