Commits

Paweł Wieczorek committed c1616d2

Lib.* -> Lib_*

  • Participants
  • Parent commits 1bfdaca
  • Branches 2014_03_16_cleaning

Comments (0)

Files changed (12)

File source/Bin/Opifex/_tags

-<*.*>: use_lib, use_util, use_machine, use_lang, use_command, use_compiler
+<*.*>: use_util, use_machine, use_lang, use_command, use_compiler

File source/Bin/Tmp/_tags

-<*.*>: use_lib, use_util, use_machine, use_lang, use_command, use_compiler
+<*.*>: use_util, use_machine, use_lang, use_command, use_compiler

File source/Command/WHILE_Commands.ml

             Log.debug "Compiling %s to %s" tmp_filename output_filename;
             dump_assembly_to_channel tmp_channel_out assembly;
             Pervasives.close_out tmp_channel_out;
-            Lib.Toolchain.Gcc.compile_assembly output_filename tmp_filename;
+            Lib_Toolchain.Gcc.compile_assembly output_filename tmp_filename;
         end
 
     let phase_stop_after_assembly configuration source_filename assembly =
         begin fun obj_filename ->
             compile_assembly configuration source_filename obj_filename assembly;
             Log.debug "Linking %s to %s" obj_filename output_filename;
-            Lib.Toolchain.Gcc.link_program
+            Lib_Toolchain.Gcc.link_program
                 output_filename
 
                 [ obj_filename

File source/Compiler/AssemblyCompiler.ml

 
     let compile output_filename source_file_opt assembly = 
         Tempfile.with_painting_to_temp_file source_file_opt  ".s" paint_assembly assembly  begin fun tmp_filename ->
-            Lib.Toolchain.Gcc.compile_assembly output_filename tmp_filename
+            Lib_Toolchain.Gcc.compile_assembly output_filename tmp_filename
         end
 end
 *)

File source/Lib.mllib

-Lib

File source/Lib.mlpack

-Toolchain

File source/Lib/Algebra.mlpack

-Monoid
-Lattice
-WorklistAlgorithm

File source/Lib/Toolchain.mlpack

-Gcc

File source/Lib/Toolchain/Gcc.ml

-(*
- * Opifex
- *
- * Copyrights(C) 2012,2013 by Pawel Wieczorek <wieczyk at gmail>
- *)
-
-open Batteries
-
-(*********************************************************************************************************************
- * Hard coded
- ********************************************************************************************************************)
-
-let c_gcc_path = "/usr/bin/gcc -m32"
-
-let c_as_path  = "/usr/bin/as -32"
-
-(*********************************************************************************************************************
- * Hard coded
- ********************************************************************************************************************)
-
-
-let compile_assembly output_file source_file =
-    Util.call_command c_as_path
-        [ "-o"
-        ; Filename.quote output_file
-        ; Filename.quote source_file
-        ]
-
-let link_program output_file object_files libraries = 
-    let basic_parameters =
-        [ "-o"
-        ; Filename.quote output_file
-        ] in
-
-    let object_files_parameters = List.map Filename.quote object_files in
-
-    let parameters = List.concat
-        [ basic_parameters
-        ; object_files_parameters
-        ; libraries
-        ] in
-
-    Util.call_command c_gcc_path parameters

File source/Lib_Algebra.mlpack

+Monoid
+Lattice
+WorklistAlgorithm

File source/Lib_Toolchain.mlpack

+Gcc

File source/Lib_Toolchain/Gcc.ml

+(*
+ * Opifex
+ *
+ * Copyrights(C) 2012,2013 by Pawel Wieczorek <wieczyk at gmail>
+ *)
+
+open Batteries
+
+(*********************************************************************************************************************
+ * Hard coded
+ ********************************************************************************************************************)
+
+let c_gcc_path = "/usr/bin/gcc -m32"
+
+let c_as_path  = "/usr/bin/as -32"
+
+(*********************************************************************************************************************
+ * Hard coded
+ ********************************************************************************************************************)
+
+
+let compile_assembly output_file source_file =
+    Util.call_command c_as_path
+        [ "-o"
+        ; Filename.quote output_file
+        ; Filename.quote source_file
+        ]
+
+let link_program output_file object_files libraries = 
+    let basic_parameters =
+        [ "-o"
+        ; Filename.quote output_file
+        ] in
+
+    let object_files_parameters = List.map Filename.quote object_files in
+
+    let parameters = List.concat
+        [ basic_parameters
+        ; object_files_parameters
+        ; libraries
+        ] in
+
+    Util.call_command c_gcc_path parameters