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

Files @ 800041f16514

Branch filter:

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

800041f16514 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