;;; -*- Scheme -*-

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

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