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