;;; -*- Scheme -*-

(compile z3.scm -O2 -d1 -s -j z3)
(compile z3.import.scm -O2 -d0 -s)

(install-extension 
 'z3
 '("z3.so" "z3.import.so")
 '((version 1.42)))