#!/bin/sh

#usage: build_yicesw <yices-1.0.9-install-directory>

rm -f yicesw
gcc -static -o yicesw -I${1}/include -L${1}/lib yicesw.c -lyices -lstdc++
