glpk.BUILD 888 Bytes
Newer Older
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29
cc_library(
    name = "glpk",
    srcs = glob([
        "glpk-4.65/src/*.c",
        "glpk-4.65/src/*/*.c",
        "glpk-4.65/src/*.h",
        "glpk-4.65/src/*/*.h",
    ], exclude = ["glpk-4.65/src/proxy/main.c"]),
    hdrs = [
        "glpk-4.65/src/glpk.h",
    ],
    copts = [
        "-Wno-error",
        "-w",
        "-Iexternal/glpk/glpk-4.65/src",
        "-Iexternal/glpk/glpk-4.65/src/amd",
        "-Iexternal/glpk/glpk-4.65/src/bflib",
        "-Iexternal/glpk/glpk-4.65/src/cglib",
        "-Iexternal/glpk/glpk-4.65/src/colamd",
        "-Iexternal/glpk/glpk-4.65/src/env",
        "-Iexternal/glpk/glpk-4.65/src/minisat",
        "-Iexternal/glpk/glpk-4.65/src/misc",
        "-Iexternal/glpk/glpk-4.65/src/proxy",
        "-Iexternal/glpk/glpk-4.65/src/zlib",
        "-DHAVE_ZLIB",
    ],
    includes=["glpk-4.65/src"],
    visibility = ["//visibility:public"],
)