mirror of
https://github.com/GaloisInc/cryptol.git
synced 2024-09-11 14:06:13 +03:00
Revert "Revert "Include cryptol-remote-api
in Cryptol builds (#890)""
This reverts commit f048368408
.
This commit is contained in:
parent
ec9a8ba27d
commit
2e2e263c33
2
.github/ci.sh
vendored
2
.github/ci.sh
vendored
@ -46,6 +46,7 @@ setup_dist_bins() {
|
||||
is_exe "dist/bin" "cryptol" && is_exe "dist/bin" "cryptol-html" && return
|
||||
extract_exe "cryptol" "dist/bin"
|
||||
extract_exe "cryptol-html" "dist/bin"
|
||||
extract_exe "cryptol-remote-api" "dist/bin"
|
||||
strip dist/bin/cryptol* || echo "Strip failed: Ignoring harmless error"
|
||||
}
|
||||
|
||||
@ -112,6 +113,7 @@ build() {
|
||||
cabal v2-update
|
||||
cabal v2-configure -j2 --minimize-conflict-set
|
||||
retry ./cry build exe:cryptol-html "$@" # retry due to flakiness with windows builds
|
||||
cabal v2-build cryptol-remote-api
|
||||
}
|
||||
|
||||
install_system_deps() {
|
||||
|
1
.github/workflows/nightly.yml
vendored
1
.github/workflows/nightly.yml
vendored
@ -4,6 +4,7 @@ on:
|
||||
branches: ["actions/**"]
|
||||
schedule:
|
||||
- cron: "0 0 * * *"
|
||||
workflow_dispatch:
|
||||
|
||||
jobs:
|
||||
outputs:
|
||||
|
3
.gitmodules
vendored
3
.gitmodules
vendored
@ -1,3 +1,6 @@
|
||||
[submodule "examples/cryptol-specs"]
|
||||
path = examples/cryptol-specs
|
||||
url = https://github.com/GaloisInc/cryptol-specs.git
|
||||
[submodule "deps/argo"]
|
||||
path = deps/argo
|
||||
url = https://github.com/galoisinc/argo
|
||||
|
@ -1,3 +1,5 @@
|
||||
packages:
|
||||
cryptol.cabal
|
||||
tests
|
||||
deps/argo/argo
|
||||
deps/argo/cryptol-remote-api
|
||||
|
1
deps/argo
vendored
Submodule
1
deps/argo
vendored
Submodule
@ -0,0 +1 @@
|
||||
Subproject commit 7c6bd32044321a63ce5039bdaf48662bd33a905f
|
Loading…
Reference in New Issue
Block a user