--- predicate-calculus.setup	2007-11-06 21:23:34.000000000 +1100
+++ predicate-calculus-static.setup	2007-11-06 21:22:39.000000000 +1100
@@ -1,10 +1,12 @@
 (compile -s -O2 -d1 predicate-calculus.scm)
+(compile -c -O2 -d1 predicate-calculus -unit predicate-calculus) ; static
 (install-extension
   ; Name of your extension:
   `predicate-calculus
   ; Files to install for your extension:
-  `("predicate-calculus.so" "predicate-calculus.html")
+  `("predicate-calculus.so" "predicate-calculus.o" "predicate-calculus.html")
   ; Assoc list with properties for your extension:
-  `((version 0.9)
+  `((static "predicate-calculus.o")
+    (version 0.9)
     (documentation "predicate-calculus.html")))