set(PROG Symbolics-dbl)
list(APPEND LDFLAGS -lm)
list(APPEND CFLAGS -std=gnu99)
set(RUN_OPTIONS 9090 14)
llvm_multisource()
