2020-06-27 23:21:20 +03:00
|
|
|
# This file defines the workspace for the Semantic monorepo.
|
|
|
|
# It loads the Haskell compilation rules, describes the packages
|
|
|
|
# that we use from Stackage, and pins the tree-sitter packages
|
|
|
|
# so that we can access their node-types.json files.
|
|
|
|
|
2020-06-09 20:52:39 +03:00
|
|
|
workspace(name = "semantic")
|
2020-05-19 19:16:16 +03:00
|
|
|
|
|
|
|
# Load the repository rule to download an http archive.
|
2020-05-22 02:24:56 +03:00
|
|
|
load("@bazel_tools//tools/build_defs/repo:http.bzl", "http_archive")
|
2020-05-19 19:16:16 +03:00
|
|
|
|
2020-06-27 23:21:20 +03:00
|
|
|
# Load the ability to check out a git repository.
|
|
|
|
load(
|
|
|
|
"@bazel_tools//tools/build_defs/repo:git.bzl",
|
|
|
|
"git_repository",
|
|
|
|
"new_git_repository",
|
|
|
|
)
|
|
|
|
|
2020-05-19 19:16:16 +03:00
|
|
|
# Download rules_haskell and make it accessible as "@rules_haskell".
|
|
|
|
http_archive(
|
2020-06-09 20:52:39 +03:00
|
|
|
name = "rules_haskell",
|
|
|
|
sha256 = "56a8e6337df8802f1e0e7d2b3d12d12d5d96c929c8daecccc5738a0f41d9c1e4",
|
|
|
|
strip_prefix = "rules_haskell-0.12",
|
|
|
|
urls = ["https://github.com/tweag/rules_haskell/archive/v0.12.tar.gz"],
|
2020-05-19 19:16:16 +03:00
|
|
|
)
|
|
|
|
|
|
|
|
load(
|
2020-06-09 20:52:39 +03:00
|
|
|
"@rules_haskell//haskell:repositories.bzl",
|
|
|
|
"rules_haskell_dependencies",
|
2020-05-19 19:16:16 +03:00
|
|
|
)
|
|
|
|
|
|
|
|
# Setup all Bazel dependencies required by rules_haskell.
|
|
|
|
rules_haskell_dependencies()
|
|
|
|
|
|
|
|
load(
|
2020-06-09 20:52:39 +03:00
|
|
|
"@rules_haskell//haskell:toolchain.bzl",
|
|
|
|
"rules_haskell_toolchains",
|
2020-05-19 19:16:16 +03:00
|
|
|
)
|
|
|
|
|
|
|
|
# Download a GHC binary distribution from haskell.org and register it as a toolchain.
|
2020-06-23 23:25:38 +03:00
|
|
|
rules_haskell_toolchains(version = "8.8.3")
|
2020-05-19 19:16:16 +03:00
|
|
|
|
|
|
|
load(
|
|
|
|
"@rules_haskell//haskell:cabal.bzl",
|
2020-06-09 20:52:39 +03:00
|
|
|
"stack_snapshot",
|
2020-05-19 19:16:16 +03:00
|
|
|
)
|
2020-05-22 02:24:56 +03:00
|
|
|
|
2020-06-27 23:21:20 +03:00
|
|
|
# This call establishes a @stackage repository, and describes what packages
|
|
|
|
# we use from Stackage. The resolver, as well as the non-Stackage packages
|
|
|
|
# on which we depend, are specified in stack-snapshot.yaml.
|
2020-05-19 19:16:16 +03:00
|
|
|
stack_snapshot(
|
2020-06-09 20:52:39 +03:00
|
|
|
name = "stackage",
|
|
|
|
local_snapshot = "//:stack-snapshot.yaml",
|
|
|
|
packages = [
|
2020-05-19 19:52:01 +03:00
|
|
|
"Glob",
|
2020-06-10 07:18:25 +03:00
|
|
|
"HUnit",
|
2020-05-21 22:45:54 +03:00
|
|
|
"QuickCheck",
|
2020-05-19 19:16:16 +03:00
|
|
|
"aeson",
|
2020-05-19 19:52:01 +03:00
|
|
|
"aeson-pretty",
|
|
|
|
"algebraic-graphs",
|
2020-06-09 21:31:29 +03:00
|
|
|
"ansi-terminal",
|
2020-06-09 22:03:27 +03:00
|
|
|
"async",
|
2020-05-19 19:52:01 +03:00
|
|
|
"attoparsec",
|
2020-06-10 18:11:33 +03:00
|
|
|
"bazel-runfiles",
|
2020-06-09 21:31:29 +03:00
|
|
|
"bifunctors",
|
2020-05-19 19:52:01 +03:00
|
|
|
"directory",
|
2020-06-09 21:31:29 +03:00
|
|
|
"directory-tree",
|
2020-05-21 22:24:16 +03:00
|
|
|
"doctest",
|
2020-06-27 20:42:43 +03:00
|
|
|
"foldl",
|
2020-05-19 19:52:01 +03:00
|
|
|
"fused-effects",
|
2020-06-09 21:31:29 +03:00
|
|
|
"fused-effects-exceptions",
|
2020-05-19 19:52:01 +03:00
|
|
|
"fused-effects-readline",
|
2020-06-09 21:31:29 +03:00
|
|
|
"fused-effects-resumable",
|
2020-05-19 19:52:01 +03:00
|
|
|
"fused-syntax",
|
2020-07-01 09:17:39 +03:00
|
|
|
"gauge",
|
2020-05-19 20:07:33 +03:00
|
|
|
"generic-lens",
|
2020-05-19 19:16:16 +03:00
|
|
|
"generic-monoid",
|
|
|
|
"hashable",
|
2020-05-19 19:52:01 +03:00
|
|
|
"hedgehog",
|
2020-06-09 21:31:29 +03:00
|
|
|
"hostname",
|
|
|
|
"hscolour",
|
2020-06-10 07:18:25 +03:00
|
|
|
"hspec",
|
|
|
|
"hspec-core",
|
|
|
|
"hspec-expectations",
|
|
|
|
"leancheck",
|
2020-05-19 20:07:33 +03:00
|
|
|
"lens",
|
2020-06-09 21:31:29 +03:00
|
|
|
"network",
|
|
|
|
"network-uri",
|
2020-05-19 19:52:01 +03:00
|
|
|
"optparse-applicative",
|
2020-06-09 21:31:29 +03:00
|
|
|
"parallel",
|
2020-05-19 20:00:56 +03:00
|
|
|
"parsers",
|
2020-06-09 20:52:39 +03:00
|
|
|
"pathtype",
|
2020-06-09 21:31:29 +03:00
|
|
|
"pretty-show",
|
2020-05-19 19:52:01 +03:00
|
|
|
"pretty-simple",
|
|
|
|
"prettyprinter",
|
|
|
|
"prettyprinter-ansi-terminal",
|
2020-06-09 21:31:29 +03:00
|
|
|
"proto-lens",
|
2020-06-09 21:56:19 +03:00
|
|
|
"proto-lens-jsonpb",
|
2020-06-09 21:31:29 +03:00
|
|
|
"proto-lens-runtime",
|
2020-06-26 23:24:47 +03:00
|
|
|
"raw-strings-qq",
|
2020-06-09 21:31:29 +03:00
|
|
|
"recursion-schemes",
|
|
|
|
"reducers",
|
2020-06-27 20:42:43 +03:00
|
|
|
"resourcet",
|
2020-06-09 21:31:29 +03:00
|
|
|
"safe-exceptions",
|
|
|
|
"scientific",
|
|
|
|
"semigroupoids",
|
2020-05-19 19:16:16 +03:00
|
|
|
"semilattices",
|
2020-06-09 21:31:29 +03:00
|
|
|
"split",
|
2020-06-09 22:20:08 +03:00
|
|
|
"stm-chans",
|
2020-06-09 21:31:29 +03:00
|
|
|
"streaming",
|
2020-05-19 19:52:01 +03:00
|
|
|
"tasty",
|
2020-06-10 07:18:25 +03:00
|
|
|
"tasty-golden",
|
2020-05-19 19:52:01 +03:00
|
|
|
"tasty-hedgehog",
|
2020-06-10 07:18:25 +03:00
|
|
|
"tasty-hspec",
|
2020-05-19 19:52:01 +03:00
|
|
|
"tasty-hunit",
|
2020-06-10 07:18:25 +03:00
|
|
|
"temporary",
|
2020-05-19 19:52:01 +03:00
|
|
|
"terminal-size",
|
2020-06-09 21:31:29 +03:00
|
|
|
"time",
|
2020-05-19 19:16:16 +03:00
|
|
|
"transformers",
|
2020-05-19 19:52:01 +03:00
|
|
|
"tree-sitter",
|
2020-06-09 20:52:39 +03:00
|
|
|
"tree-sitter-go",
|
|
|
|
"tree-sitter-java",
|
|
|
|
"tree-sitter-json",
|
|
|
|
"tree-sitter-php",
|
2020-05-19 19:52:01 +03:00
|
|
|
"tree-sitter-python",
|
2020-06-09 20:52:39 +03:00
|
|
|
"tree-sitter-ql",
|
2020-05-19 20:36:16 +03:00
|
|
|
"tree-sitter-ruby",
|
2020-06-26 20:07:24 +03:00
|
|
|
"tree-sitter-rust",
|
2020-06-09 21:31:29 +03:00
|
|
|
"tree-sitter-tsx",
|
2020-06-09 20:52:39 +03:00
|
|
|
"tree-sitter-typescript",
|
|
|
|
"trifecta",
|
2020-06-09 21:31:29 +03:00
|
|
|
"unix",
|
2020-06-09 22:20:08 +03:00
|
|
|
"unliftio-core",
|
2020-05-19 19:52:01 +03:00
|
|
|
"unordered-containers",
|
2020-06-09 21:31:29 +03:00
|
|
|
"vector",
|
2020-06-26 23:24:47 +03:00
|
|
|
"yaml",
|
2020-05-19 19:16:16 +03:00
|
|
|
],
|
2020-06-26 20:39:04 +03:00
|
|
|
tools = ["@happy"],
|
2020-05-19 19:52:01 +03:00
|
|
|
)
|
|
|
|
|
2020-06-27 23:21:20 +03:00
|
|
|
# Download Happy and make it accessible to the build process.
|
2020-05-19 19:52:01 +03:00
|
|
|
http_archive(
|
2020-06-09 20:52:39 +03:00
|
|
|
name = "happy",
|
|
|
|
build_file_content = """
|
2020-05-19 19:52:01 +03:00
|
|
|
load("@rules_haskell//haskell:cabal.bzl", "haskell_cabal_binary")
|
|
|
|
haskell_cabal_binary(name = "happy", srcs = glob(["**"]), visibility = ["//visibility:public"])
|
|
|
|
""",
|
2020-06-09 20:52:39 +03:00
|
|
|
sha256 = "fb9a23e41401711a3b288f93cf0a66db9f97da1ce32ec4fffea4b78a0daeb40f",
|
|
|
|
strip_prefix = "happy-1.19.12",
|
|
|
|
urls = ["http://hackage.haskell.org/package/happy-1.19.12/happy-1.19.12.tar.gz"],
|
2020-05-22 02:24:56 +03:00
|
|
|
)
|
|
|
|
|
2020-06-27 23:21:20 +03:00
|
|
|
# Pin the various tree-sitter packages so that we can access their
|
|
|
|
# node-types.json files.
|
|
|
|
|
2020-06-26 20:07:24 +03:00
|
|
|
load(
|
|
|
|
"//:build/common.bzl",
|
2020-07-01 08:30:58 +03:00
|
|
|
"tree_sitter_node_types_git",
|
2020-07-01 09:22:18 +03:00
|
|
|
"tree_sitter_node_types_release",
|
2020-06-26 20:07:24 +03:00
|
|
|
)
|
|
|
|
|
2020-07-01 09:22:18 +03:00
|
|
|
tree_sitter_node_types_release(
|
2020-06-26 20:07:24 +03:00
|
|
|
name = "tree-sitter-python",
|
|
|
|
sha256 = "50d3fa560391dc4ab8d9a3466f68f2c6a4c12f9cc6421358d2c307023bd740ab",
|
|
|
|
version = "0.16.0",
|
|
|
|
)
|
|
|
|
|
2020-07-01 09:22:18 +03:00
|
|
|
tree_sitter_node_types_release(
|
2020-06-26 20:07:24 +03:00
|
|
|
name = "tree-sitter-php",
|
|
|
|
sha256 = "d7f6b7dbba359f5129f08647ad4cf73a599abdec443c2b0e2cdbbaee56cf3750",
|
|
|
|
version = "0.16.1",
|
|
|
|
)
|
|
|
|
|
2020-07-01 09:22:18 +03:00
|
|
|
tree_sitter_node_types_release(
|
2020-06-26 20:07:24 +03:00
|
|
|
name = "tree-sitter-java",
|
2020-06-26 20:39:04 +03:00
|
|
|
sha256 = "41af0051be7f9cfb2b85aece37979d1097fddf538b8984fb7726bf1edea4a7ce",
|
2020-06-26 20:07:24 +03:00
|
|
|
version = "0.16.0",
|
|
|
|
)
|
|
|
|
|
2020-07-01 09:22:18 +03:00
|
|
|
tree_sitter_node_types_release(
|
2020-06-26 20:07:24 +03:00
|
|
|
name = "tree-sitter-json",
|
|
|
|
sha256 = "cbf0fefd2825a2db1770013111f49ec609c4fe090a8909e9780458629c22d1f4",
|
|
|
|
version = "0.16.0",
|
|
|
|
)
|
|
|
|
|
2020-07-01 09:22:18 +03:00
|
|
|
tree_sitter_node_types_release(
|
2020-06-26 20:07:24 +03:00
|
|
|
name = "tree-sitter-rust",
|
|
|
|
sha256 = "8c34f19a9270ee60367ee235226ff1108341f944e0bd245cb47e1c2721f0c39b",
|
|
|
|
version = "0.16.1",
|
|
|
|
)
|
|
|
|
|
2020-07-01 09:22:18 +03:00
|
|
|
tree_sitter_node_types_release(
|
2020-06-26 20:07:24 +03:00
|
|
|
name = "tree-sitter-go",
|
2020-06-26 20:39:04 +03:00
|
|
|
sha256 = "7278f1fd4dc4de8a13b0f60407425d38c5cb3973e1938d3031a68e1e69bd0b75",
|
2020-06-26 20:07:24 +03:00
|
|
|
version = "0.16.1",
|
|
|
|
)
|
|
|
|
|
2020-07-01 09:22:18 +03:00
|
|
|
tree_sitter_node_types_release(
|
2020-06-26 20:07:24 +03:00
|
|
|
name = "tree-sitter-typescript",
|
|
|
|
nodetypespath = "**/src/node-types.json",
|
|
|
|
sha256 = "3e1fc16daab965f21dc56a919b32a730e889ea2ba1330af5edc5950f4e6b18b6",
|
|
|
|
version = "0.16.2",
|
|
|
|
)
|
|
|
|
|
2020-06-27 23:21:20 +03:00
|
|
|
# Download lingo (which has its own Bazel build instructions).
|
2020-06-26 23:24:47 +03:00
|
|
|
|
|
|
|
git_repository(
|
|
|
|
name = "lingo",
|
|
|
|
commit = "6614b9afe1a519364491c170d6b06ff5cd96153a",
|
|
|
|
remote = "https://github.com/tclem/lingo-haskell.git",
|
|
|
|
shallow_since = "1593202797 -0400",
|
|
|
|
)
|
2020-06-27 23:21:20 +03:00
|
|
|
|
2020-07-01 08:30:58 +03:00
|
|
|
# These packages use node_types_git because they correspond to Hackage
|
|
|
|
# tree-sitter-* parsers vendored not to a release of their C parser,
|
|
|
|
# but to a given Git SHA. This works, but is a little specious, so we
|
2020-07-01 09:22:18 +03:00
|
|
|
# should move these into node_types_release calls and fix the problems
|
2020-07-01 08:30:58 +03:00
|
|
|
# that emerge when we target version releases.
|
2020-06-27 23:21:20 +03:00
|
|
|
|
2020-07-01 08:30:58 +03:00
|
|
|
tree_sitter_node_types_git(
|
2020-06-27 23:21:20 +03:00
|
|
|
name = "tree-sitter-ruby",
|
|
|
|
commit = "eb2b6225bfb80010f2e4cbd27db8c6f3775230b5",
|
|
|
|
shallow_since = "1576688803 -0800",
|
|
|
|
)
|
2020-06-30 18:17:47 +03:00
|
|
|
|
2020-07-01 08:30:58 +03:00
|
|
|
tree_sitter_node_types_git(
|
2020-06-30 18:17:47 +03:00
|
|
|
name = "tree-sitter-ql",
|
|
|
|
commit = "c0d674abed8836bb5a4770f547343ef100f88c24",
|
|
|
|
shallow_since = "1585868745 -0700",
|
|
|
|
)
|
2020-06-30 18:28:46 +03:00
|
|
|
|
2020-07-01 08:30:58 +03:00
|
|
|
tree_sitter_node_types_git(
|
2020-06-30 18:28:46 +03:00
|
|
|
name = "tree-sitter-php",
|
|
|
|
commit = "41a408d5b996ef54d8b9e1b9a2469fad00c1b52b",
|
2020-07-01 19:22:24 +03:00
|
|
|
shallow_since = "1591381188 -0400",
|
2020-06-30 18:28:46 +03:00
|
|
|
)
|
2020-06-30 20:12:11 +03:00
|
|
|
|
|
|
|
load("//:build/example_repos.bzl", "declare_example_repos")
|
|
|
|
|
|
|
|
declare_example_repos()
|