mirror of
https://github.com/github/semantic.git
synced 2024-12-01 17:59:10 +03:00
Merge remote-tracking branch 'origin/master' into provide-path-info
This commit is contained in:
commit
f6ee2b9ffe
@ -2,9 +2,6 @@ packages: . semantic-core semantic-python
|
||||
|
||||
jobs: $ncpus
|
||||
|
||||
package semantic
|
||||
ghc-options: +RTS -A128m -n2m -RTS
|
||||
|
||||
source-repository-package
|
||||
type: git
|
||||
location: https://github.com/joshvera/proto3-suite.git
|
||||
|
@ -329,8 +329,6 @@ library
|
||||
, tree-sitter-java == 0.2.0.0
|
||||
if flag(release)
|
||||
cpp-options: -DCOMPUTE_GIT_SHA
|
||||
else
|
||||
ghc-options: +RTS -A128m -n2m -RTS
|
||||
|
||||
executable semantic
|
||||
import: haskell, dependencies, executable-flags
|
||||
|
Loading…
Reference in New Issue
Block a user