Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse files

Separating program compilation instructions

  • Loading branch information...
commit fc89655e93bf5202e58dd5b0d79ea4b6a63e091f 1 parent 65ebea2
@thomasblanc authored
Showing with 27 additions and 26 deletions.
  1. +0 −26 analysis.ocp
  2. +1 −0  ocp-build.root
  3. +26 −0 src/driver/programs.ocp
View
26 analysis.ocp
@@ -46,29 +46,3 @@ begin library "api"
requires = [ "data" "lambda-analysis" (* temporary *) ]
end
-
-begin program "main"
- dirname = "src/driver"
- files = [ "cmb.ml" "my_main_args.ml" "main.ml" ]
- requires = [ "common" "lambda" "tlambda" "hgraph" "lambda-analysis" ]
-end
-
-begin program "bigraphc"
- dirname = "src/driver"
- files = [ "cmb.ml" "bgraphc" ]
- requires =
- [
- "common" "lambda" "tlambda" "hgraph" "lambda-analysis"
- ]
-end
-
-begin program "analyzer"
- dirname = "src/driver"
- files = [ "cmb.ml" "bgrapha.ml" ]
- requires =
- [
- "compiler-libs" "compiler-libs.common" "compiler-libs.optcomp"
- "common" "tlambda" "hgraph" "lambda-analysis"
- ]
-end
-
View
1  ocp-build.root
@@ -70,4 +70,5 @@ project_external_dirs = [
files = [
"/home/pat/devel/ocaml/dataanalysis/analysis.ocp";
"/home/pat/devel/ocaml/dataanalysis/test/tests.ocp";
+ "/home/pat/devel/ocaml/dataanalysis/src/driver/programs.ocp";
]
View
26 src/driver/programs.ocp
@@ -0,0 +1,26 @@
+
+begin program "main"
+ dirname = "src/driver"
+ files = [ "cmb.ml" "my_main_args.ml" "main.ml" ]
+ requires = [ "common" "lambda" "tlambda" "hgraph" "lambda-analysis" ]
+end
+
+begin program "bigraphc"
+ dirname = "src/driver"
+ files = [ "cmb.ml" "bgraphc" ]
+ requires =
+ [
+ "common" "lambda" "tlambda" "hgraph" "lambda-analysis"
+ ]
+end
+
+begin program "analyzer"
+ dirname = "src/driver"
+ files = [ "cmb.ml" "bgrapha.ml" ]
+ requires =
+ [
+ "compiler-libs" "compiler-libs.common" "compiler-libs.optcomp"
+ "common" "tlambda" "hgraph" "lambda-analysis"
+ ]
+end
+
Please sign in to comment.
Something went wrong with that request. Please try again.