|
| 1 | +workspace(name = "io_tweag_inline_java") |
| 2 | + |
| 3 | +http_archive( |
| 4 | + name = "io_tweag_rules_haskell", |
| 5 | + strip_prefix = "rules_haskell-8120ec9c600bc70a1268c05892f2f267248eb560", |
| 6 | + urls = ["https://github.com/tweag/rules_haskell/archive/8120ec9c600bc70a1268c05892f2f267248eb560.tar.gz"] |
| 7 | +) |
| 8 | + |
| 9 | +http_archive( |
| 10 | + name = "io_tweag_rules_nixpkgs", |
| 11 | + strip_prefix = "rules_nixpkgs-53700e429928530f1566cfff3ec00283a123f17f", |
| 12 | + urls = ["https://github.com/tweag/rules_nixpkgs/archive/53700e429928530f1566cfff3ec00283a123f17f.tar.gz"], |
| 13 | +) |
| 14 | + |
| 15 | +# Required due to rules_haskell use of skylib. |
| 16 | +http_archive( |
| 17 | + name = "bazel_skylib", |
| 18 | + strip_prefix = "bazel-skylib-0.2.0", |
| 19 | + urls = ["https://github.com/bazelbuild/bazel-skylib/archive/0.2.0.tar.gz"] |
| 20 | +) |
| 21 | + |
| 22 | +load("@io_tweag_rules_nixpkgs//nixpkgs:nixpkgs.bzl", |
| 23 | + "nixpkgs_git_repository", |
| 24 | + "nixpkgs_package", |
| 25 | +) |
| 26 | + |
| 27 | +nixpkgs_git_repository( |
| 28 | + name = "nixpkgs", |
| 29 | + # Keep consistent with ./nixpkgs.nix. |
| 30 | + revision = "4026ea9c8afd09b60896b861a04cc5748fdcdfb4", |
| 31 | +) |
| 32 | + |
| 33 | +prebuilt_packages = [ |
| 34 | + "Cabal", |
| 35 | + "base", |
| 36 | + "bytestring", |
| 37 | + "choice", |
| 38 | + "constraints", |
| 39 | + "containers", |
| 40 | + "deepseq", |
| 41 | + "directory", |
| 42 | + "distributed-closure", |
| 43 | + "exceptions", |
| 44 | + "filemanip", |
| 45 | + "filepath", |
| 46 | + "ghc", |
| 47 | + "hspec", |
| 48 | + "inline-c", |
| 49 | + "language-java", |
| 50 | + "mtl", |
| 51 | + "process", |
| 52 | + "singletons", |
| 53 | + "streaming", |
| 54 | + "template-haskell", |
| 55 | + "temporary", |
| 56 | + "text", |
| 57 | + "vector", |
| 58 | +] |
| 59 | + |
| 60 | +nixpkgs_package( |
| 61 | + name = "inline-java-toolchain", |
| 62 | + repository = "@nixpkgs", |
| 63 | + nix_file_content = """ |
| 64 | +let pkgs = import <nixpkgs> {{}}; |
| 65 | +in pkgs.buildEnv {{ |
| 66 | + name = "inline-java-toolchain"; |
| 67 | + paths = with pkgs; [ |
| 68 | + (haskell.packages.ghc822.ghcWithPackages (p: with p; [{0}])) |
| 69 | + openjdk |
| 70 | + ]; |
| 71 | +}} |
| 72 | +""".format(" ".join(prebuilt_packages))) |
| 73 | + |
| 74 | +nixpkgs_package( |
| 75 | + name = "openjdk", |
| 76 | + repository = "@nixpkgs", |
| 77 | + build_file_content = """ |
| 78 | +filegroup ( |
| 79 | + name = "lib", |
| 80 | + srcs = ["nix/lib/openjdk/jre/lib/amd64/server/libjvm.so"], |
| 81 | + visibility = ["//visibility:public"], |
| 82 | +) |
| 83 | +filegroup ( |
| 84 | + name = "jni_header", |
| 85 | + srcs = ["nix/include/jni.h"], |
| 86 | + visibility = ["//visibility:public"], |
| 87 | +) |
| 88 | +filegroup ( |
| 89 | + name = "jni_md_header", |
| 90 | + srcs = ["nix/include/jni_md.h"], |
| 91 | + visibility = ["//visibility:public"], |
| 92 | +)""" |
| 93 | +) |
| 94 | + |
| 95 | +register_toolchains("//:inline-java-toolchain") |
0 commit comments