(library
  (name jsquirrel)
  (modes byte native)
  (flags :standard -w -39)
  (library_flags (:standard -linkall))
  (libraries squirrelhtml squirrelprover squirrelcore squirreltactics js_of_ocaml-compiler))
