Skip to content

Commit

Permalink
Include reprolang parser in generation
Browse files Browse the repository at this point in the history
  • Loading branch information
keynmol committed Jun 25, 2024
1 parent 39946f8 commit c792e11
Show file tree
Hide file tree
Showing 6 changed files with 65 additions and 11 deletions.
6 changes: 3 additions & 3 deletions Development.md
Original file line number Diff line number Diff line change
Expand Up @@ -37,9 +37,9 @@
For the Haskell bindings, see `bindings/haskell/README.md`.

You can also run the same script in a pre-configured Docker environment,
by running `./dev/proto-generate-in-docker.sh` - this command will
build the environment and run ./dev/proto-generate.sh script. The only
dependency you need is Docker.
by running `./dev/generate-all-in-docker.sh` - this command will
build the environment and generate both the proto bindings, and the reprolang
parser generation. The only dependency you need is Docker.

2. Regenerating snapshots after making changes to the CLI.
```
Expand Down
2 changes: 1 addition & 1 deletion Dockerfile.bindings
Original file line number Diff line number Diff line change
Expand Up @@ -40,6 +40,6 @@ RUN asdf install && \

WORKDIR /src

ENTRYPOINT ["./dev/proto-generate.sh"]
CMD ["bash", "-c", "./dev/proto-generate.sh && ./cmd/scip/tests/reprolang/generate-tree-sitter-parser.sh"]


47 changes: 46 additions & 1 deletion cmd/scip/tests/reprolang/src/parser.c

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

Original file line number Diff line number Diff line change
Expand Up @@ -6,5 +6,4 @@ cd "$(dirname "${BASH_SOURCE[0]}")/.." # cd to repo root dir

IMAGE_NAME="sourcegraph/scip-bindings-env"

docker build . -t $IMAGE_NAME -f Dockerfile.bindings
docker run -v $(pwd):/src $IMAGE_NAME
docker build . -t $IMAGE_NAME -f Dockerfile.bindings && echo $IMAGE_NAME
10 changes: 10 additions & 0 deletions dev/generate-all-in-docker.sh
Original file line number Diff line number Diff line change
@@ -0,0 +1,10 @@
#!/usr/bin/env bash

set -xeuo pipefail

cd "$(dirname "${BASH_SOURCE[0]}")/.." # cd to repo root dir

IMAGE_NAME=$(./dev/build-docker-environment.sh)

docker run -it -v $(pwd):/src $IMAGE_NAME

8 changes: 4 additions & 4 deletions yarn.lock

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

0 comments on commit c792e11

Please sign in to comment.