#!/bin/csh

cat $1 | nconf
kroc -c -m lproc.occ
gcc-ppx -c nmap.c -o libnmap.a
shift
set oname=$1
shift
kroc $KROC/lib/dummy.occ lproc.o $* -x nmap -o $oname
rm lproc.* nmap.*
