Skip to content

Commit fdc121b

Browse files
committed
use ordered shim and CLI opts from Verdi repo
1 parent e1062be commit fdc121b

File tree

18 files changed

+153
-909
lines changed

18 files changed

+153
-909
lines changed

extraction/aggregation-dynamic/Makefile

Lines changed: 7 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1,21 +1,23 @@
11
PYTHON=python2.7
22

3-
OCAMLBUILD = ocamlbuild -package uuidm -lib str -lib unix -I ocaml -cflag -g
4-
OCAMLBUILD_TEST = ocamlbuild -package uuidm -package oUnit -lib str -I ocaml -I test -cflag -g
3+
OCAMLBUILD = ocamlbuild -package uuidm -lib str -lib unix -I ocaml -I lib -cflag -g
4+
OCAMLBUILD_TEST = ocamlbuild -package uuidm -package oUnit -lib str -I ocaml -I test -I lib -cflag -g
5+
6+
LIB = lib/OrderedShim.ml lib/Util.ml lib/Opts.ml
57

68
AGGREGATION = ocaml/TreeAggregation.ml ocaml/TreeAggregation.mli \
79
ocaml/TreeAggregationArrangement.ml ocaml/TreeAggregationMain.ml \
8-
ocaml/Serialization.ml ocaml/Opts.ml ocaml/OrderedShim.ml ocaml/Util.ml
10+
ocaml/Serialization.ml
911

1012
AGGREGATION_TEST = test/SerializationTest.ml test/OptsTest.ml \
1113
test/TreeAggregationTest.ml test/TestCommon.ml
1214

1315
default: TreeAggregationMain.native
1416

15-
TreeAggregationMain.native: $(AGGREGATION)
17+
TreeAggregationMain.native: $(LIB) $(AGGREGATION)
1618
$(OCAMLBUILD) TreeAggregationMain.native
1719

18-
TreeAggregationTest.native: $(AGGREGATION) $(AGGREGATION_TEST)
20+
TreeAggregationTest.native: $(LIB) $(AGGREGATION) $(AGGREGATION_TEST)
1921
$(OCAMLBUILD_TEST) TreeAggregationTest.native
2022

2123
test-units: TreeAggregationTest.native

extraction/aggregation-dynamic/ocaml/Opts.ml

Lines changed: 0 additions & 49 deletions
This file was deleted.

0 commit comments

Comments
 (0)