;; Time-stamp: <modified the 15/03/2019 (at 16:04) by Erwan Jahier> (executable (name sasa) (libraries dynlink ocamlgraph lutils sasacore algo) ) ;(library ; (name sasaRun) ; (synopsis "The Sasa RDBG Plugin") ; (libraries dynlink ocamlgraph algo lutils rdbg) ;) (install (section bin) (files (sasa.exe as sasa)) ; (files sasaRun.cmxa) )