source: project/sandbox/sandbox.setup @ 228

Last change on this file since 228 was 228, checked in by felix winkelmann, 14 years ago

z3 fix

File size: 141 bytes
Line 
1(compile -s -O2 -d1 sandbox.scm)
2(install-extension 'sandbox '("sandbox.html" "sandbox.so") '((version 1.4) (documentation "sandbox.html")))
Note: See TracBrowser for help on using the repository browser.