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

Files @ b433d016e796

Branch filter:

Location: CSY/reowolf/examples/0_forward/make.sh

b433d016e796 165 B text/x-sh Show Annotation Show as Raw Download as Raw

Christopher Esterhuyse

playing around with new predicate=>state,payload storages. toward faster querying but also toward deviation detection by way of intelligible error handling

#!/bin/sh

LIB_PATH="../../target/release"
gcc -L $LIB_PATH -lreowolf_rs -Wl,-R$LIB_PATH alice.c -o alice
gcc -L $LIB_PATH -lreowolf_rs -Wl,-R$LIB_PATH bob.c -o bob