Modified ocaml backend to use ocamlfind for linksem and lem

Fixed test cases for ocaml backend and interpreter

1 files changed, 0 insertions, 28 deletions

diff --git a/lib/ocaml_rts/linksem/default_printing.ml b/lib/ocaml_rts/linksem/default_printing.ml
deleted file mode 100644
index 4bce7684..00000000
--- a/lib/ocaml_rts/linksem/default_printing.ml
+++ /dev/null
@@ -1,28 +0,0 @@
-(*Generated by Lem from default_printing.lem.*)
-(** [default_printing] module is a small utility module providing default
-  * printing functions for when ABI-specific functions are not available.
-  * These functions were constantly being redefined and reused all over the
-  * place hence their placement in this module.
-  *)
-open Lem_function
-
-(** [default_os_specific_print] is a default print function for OS specific
-  * functionality.
-  *)
-(*val default_os_specific_print : forall 'a. 'a -> string*)
-let default_os_specific_print:'a ->string= 
-  ((fun y->"*Default OS specific print*"))
-
-(** [default_proc_specific_print] is a default print function for processor specific
-  * functionality.
-  *)
-(*val default_proc_specific_print : forall 'a. 'a -> string*)
-let default_proc_specific_print:'a ->string= 
-  ((fun y->"*Default processor specific print*"))
-
-(** [default_user_specific_print] is a default print function for user specific
-  * functionality.
-  *)
-(*val default_user_specific_print : forall 'a. 'a -> string*)
-let default_user_specific_print:'a ->string= 
-  ((fun y->"*Default user specific print*"))