CSY/reowolf Files · examples/6_constraint_solve/make.sh · Centrum Wiskunde & Informatica (CWI)

Files @ 10ae3589084a

Branch filter:

10ae3589084a 87 B text/x-sh Show Annotation Show as Raw Download as Raw

Christopher Esterhuyse

defined endpoint manager; made explicit its invariants

#!/bin/sh

LIB_PATH="../"
gcc -L $LIB_PATH -lreowolf_rs -Wl,-R$LIB_PATH main.c -o main