Add some basic letsimp tests based on bug #3950

[maxima.git] / src / generate-sys-proclaim.lisp

(load "../lisp-utils/defsystem.lisp")
(compiler::emit-fn t)
(mk::oos "maxima" :compile :verbose t)
(compiler::make-all-proclaims "*/*.fn" "*/*/*/*.fn")