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

Files @ dedf89df1602

Branch filter:

dedf89df1602 84 B text/x-sh Show Annotation Show as Raw Download as Raw

Christopher Esterhuyse

retiring `Endpoint Key` term in favor of port

#!/bin/sh

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