Add support for producing SCIP indexes #101
Draft
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Initial work to get a produce viable SCIP indexes using the Pkl-LSP infrastructure.
These commands should currently work:
Basic usage - index current directory:
./gradlew run --args="scip . --output index.scip"Index a specific directory:
./gradlew run --args="scip /Users/thomas/my-pkl-project --output my-project.scip"Index multiple directories:
./gradlew run --args="scip /path/to/project1 /path/to/project2 --output combined.scip"Index with custom output location:
./gradlew run --args="scip /path/to/pkl/sources -o /tmp/my-index.scip"