#!/bin/sh

# Change this line to reflect where your yices files are installed!
yices_root=/home/ghagen/yices-1.0.18

rm -f yicesw
gcc -static -o yicesw -I$yices_root/include -L$yices_root/lib yicesw.c -lyices -lgmp -lstdc++
