@@ -34,8 +34,7 @@ cc_library(
34
34
git_repository (
35
35
name = "optimizationtools" ,
36
36
remote = "https://github.com/fontanf/optimizationtools.git" ,
37
- commit = "d7299a707f3b6b3b8aa8c428f5254b9ea39bfc53" ,
38
- shallow_since = "1656765328 +0200" ,
37
+ commit = "6c40c5ba2890dbd2107962d5ef3fc120c9b11dc2" ,
39
38
)
40
39
41
40
local_repository (
@@ -44,38 +43,67 @@ local_repository(
44
43
)
45
44
46
45
git_repository (
47
- name = "treesearchsolver_ " ,
46
+ name = "treesearchsolver " ,
48
47
remote = "https://github.com/fontanf/treesearchsolver.git" ,
49
- commit = "c39a99bb46ef73f4bd092460517d530f3a273569 " ,
50
- shallow_since = "1655023961 +0200" ,
48
+ commit = "d0236497be177160b4ec242ae53edadce93909d1 " ,
49
+ shallow_since = "1664086189 +0200" ,
51
50
)
52
51
53
52
local_repository (
54
- name = "treesearchsolver " ,
53
+ name = "treesearchsolver_ " ,
55
54
path = "../treesearchsolver/" ,
56
55
)
57
56
58
57
git_repository (
59
58
name = "columngenerationsolver" ,
60
59
remote = "https://github.com/fontanf/columngenerationsolver.git" ,
61
- commit = "40c2daef0bdb8a83330e472b7a4103a4ff38c614 " ,
62
- shallow_since = "1655662016 +0200 " ,
60
+ commit = "2595e3ad316143827d8a8fa943d5713d2b180b70 " ,
61
+ shallow_since = "1672489298 +0100 " ,
63
62
)
64
63
65
64
local_repository (
66
65
name = "columngenerationsolver_" ,
67
66
path = "../columngenerationsolver/" ,
68
67
)
69
68
69
+ git_repository (
70
+ name = "knapsacksolver" ,
71
+ remote = "https://github.com/fontanf/knapsacksolver.git" ,
72
+ commit = "5464348be438e0b339f30c5f4f72cdaf701c99ec" ,
73
+ )
74
+
75
+ local_repository (
76
+ name = "knapsacksolver_" ,
77
+ path = "../knapsacksolver/" ,
78
+ )
79
+
70
80
new_local_repository (
71
81
name = "coinor" ,
72
82
path = "/home/florian/Programmes/coinbrew/" ,
73
83
build_file_content = """
74
84
cc_library(
75
- name = "coinor",
76
- hdrs = glob(["dist/include/**/*.h*"], exclude_directories = 0),
77
- strip_include_prefix = "dist/include/",
78
- srcs = glob(["dist/lib/**/*.so"], exclude_directories = 0),
85
+ name = "osi",
86
+ hdrs = glob(["dist/include/coin/Osi*.h*"], exclude_directories = 0),
87
+ strip_include_prefix = "dist/include/coin/",
88
+ visibility = ["//visibility:public"],
89
+ )
90
+ cc_library(
91
+ name = "coinutils",
92
+ hdrs = glob(["dist/include/coin/Coin*.h*"], exclude_directories = 0),
93
+ strip_include_prefix = "dist/include/coin/",
94
+ srcs = [
95
+ "dist/lib/libCoinUtils.so",
96
+ ],
97
+ visibility = ["//visibility:public"],
98
+ )
99
+ cc_library(
100
+ name = "clp",
101
+ hdrs = glob(["dist/include/coin/Clp*.h*"], exclude_directories = 0),
102
+ strip_include_prefix = "dist/include/coin",
103
+ srcs = [
104
+ "dist/lib/libClp.so",
105
+ ],
106
+ deps = [":coinutils", ":osi"],
79
107
visibility = ["//visibility:public"],
80
108
)
81
109
""" ,
@@ -141,15 +169,32 @@ cc_library(
141
169
142
170
new_local_repository (
143
171
name = "xpress" ,
144
- path = "/home/florian/Programmes /" ,
172
+ path = "/opt/xpressmp /" ,
145
173
build_file_content = """
146
174
cc_library(
147
175
name = "xpress",
148
- hdrs = [
149
- ],
176
+ hdrs = glob(["include/*.h"], exclude_directories = 0),
150
177
strip_include_prefix = "include/",
151
- srcs = [
152
- ],
178
+ srcs = ["lib/libxprs.so"],
179
+ visibility = ["//visibility:public"],
180
+ )
181
+ """ ,
182
+ )
183
+
184
+ new_local_repository (
185
+ name = "ampl" ,
186
+ path = "/home/florian/Programmes/ampl.linux-intel64/amplapi/" ,
187
+ # path = "/home/florian/Programmes/ampl-z-13.1.20220703-Linux-64/amplapi/",
188
+ build_file_content = """
189
+ cc_library(
190
+ name = "ampl",
191
+ hdrs = glob([
192
+ "include/ampl/*.h",
193
+ "include/ampl/ep/*.h",
194
+ "include/ampl/ep/format.cc",
195
+ ], exclude_directories = 0),
196
+ strip_include_prefix = "include/",
197
+ srcs = ["lib/libampl.so"],
153
198
visibility = ["//visibility:public"],
154
199
)
155
200
""" ,
0 commit comments