beholders_eye/hasufell-repository
1
0
Fork 0
forked from hasufell/hasufell-repository
Code Issues Pull Requests Releases Wiki Activity

dev-lang/fstar: fix scm exheres

Browse Source
This commit is contained in:
Julian Ospald 2017-06-24 16:24:19 +02:00
parent 026959c46f
commit 286ff3c58f
No known key found for this signature in database
GPG Key ID: 511B62C09D50CD28
1 changed files with 15 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
packages/dev-lang/fstar/fstar-scm.exheres-0
View File

@ -1,13 +1,24 @@
# Copyright 2016 Julian Ospald <hasufell@posteo.de> # Copyright 2016-2017 Julian Ospald <hasufell@posteo.de>
# Distributed under the terms of the GNU General Public License v2 # Distributed under the terms of the GNU General Public License v2
SCM_SECONDARY_REPOSITORIES=" SCM_SECONDARY_REPOSITORIES="
openssl openssl
boringssl
krb5
pyca
" "
SCM_openssl_REPOSITORY="git://github.com/openssl/openssl.git"
SCM_EXTERNAL_REFS=" SCM_EXTERNAL_REFS="
ucontrib/CoreCrypto/ml/openssl:openssl ucontrib/CoreCrypto/ml/openssl:openssl
" "
SCM_openssl_REPOSITORY="git://github.com/openssl/openssl.git"
SCM_openssl_EXTERNAL_REFS="
boringssl:boringssl
krb5:krb5
pyca-cryptography:pyca
"
SCM_boringssl_REPOSITORY="https://boringssl.googlesource.com/boringssl"
SCM_krb5_REPOSITORY="https://github.com/krb5/krb5"
SCM_pyca_REPOSITORY="https://github.com/pyca/cryptography.git"
require github [ user="FStarLang" project="FStar" ] require github [ user="FStarLang" project="FStar" ]
@ -36,6 +47,7 @@ DEPENDENCIES="
dev-ocaml/batteries dev-ocaml/batteries
dev-ocaml/findlib dev-ocaml/findlib
dev-ocaml/pprint dev-ocaml/pprint
dev-ocaml/stdint
dev-ocaml/yojson dev-ocaml/yojson
dev-ocaml/zarith dev-ocaml/zarith
build+run: build+run:
@ -59,7 +71,7 @@ src_compile() {
src_install() { src_install() {
insinto /usr/$(exhost --target)/lib/fstar insinto /usr/$(exhost --target)/lib/fstar
doins -r lib contrib bin doins -r ulib ucontrib bin
edo chmod +x "${IMAGE%/}"/usr/$(exhost --target)/lib/fstar/bin/{fstar.exe,fstar-any.sh,tests.exe,tests-mono.sh} edo chmod +x "${IMAGE%/}"/usr/$(exhost --target)/lib/fstar/bin/{fstar.exe,fstar-any.sh,tests.exe,tests-mono.sh}
dodoc -r doc/* dodoc -r doc/*