build src/* as a private library

Sapphire-Lilith · Mar 12, 2019 · 0943496 · 0943496
1 parent 6137f5c
commit 0943496
Show file tree

Hide file tree

Showing 7 changed files with 10 additions and 74 deletions.
diff --git a/.gitignore b/.gitignore
@@ -16,7 +16,6 @@
 *.out
 *.html
 obsolete/*.txt
-bin/
 old/
 test/
 *.png

diff --git a/bin/dune b/bin/dune
@@ -0,0 +1,6 @@
+(executable
+ (name satysfi)
+ (public_name satysfi)
+ (libraries main)
+ (preprocess no_preprocessing)
+)
diff --git a/bin/satysfi.ml b/bin/satysfi.ml
@@ -0,0 +1 @@
+let () = Main.main ()
diff --git a/src/backend/base85.ml b/src/backend/base85.ml
diff --git a/src/dune b/src/dune
@@ -1,6 +1,5 @@
-(executable
+(library
  (name main)
- (public_name satysfi)
  (flags (-w -3 -bin-annot -thread -unsafe-string))
  (libraries str
             batteries

diff --git a/src/frontend/main.ml b/src/frontend/main.ml
@@ -989,7 +989,7 @@ let setup_root_dirs () =
   | _ :: _ -> Config.initialize ds
 
 
-let () =
+let main () =
   error_log_environment (fun () ->
     let curdir = Sys.getcwd () in
     Arg.parse (arg_spec_list curdir) (handle_anonimous_arg curdir) "";

diff --git a/src/frontend/main.mli b/src/frontend/main.mli
@@ -1,7 +1 @@
-open Types
-open Typeenv
-(*
-val main : Typeenv.t -> environment -> string list -> string -> unit
-
-val error_log_environment : (unit -> unit) -> unit
-*)
+val main : unit -> unit