CatalaLang/catala
1
1
Fork 0
mirror of https://github.com/CatalaLang/catala.git synced 2024-11-08 07:51:43 +03:00
Code Issues Projects Releases Wiki Activity

CI: cleanup the exposed artifacts

Browse Source
This commit is contained in:
Louis Gesbert 2024-01-22 13:50:31 +01:00
parent c1d0411bf3
commit 7636a6e8d5
4 changed files with 15 additions and 15 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
.github/workflows/harness.yml vendored
View File

@ -96,17 +96,13 @@ jobs:
run: |
cd
mkdir -p artifacts
cp catala/_build/install/default/bin/catala.js "artifacts/catala_${RELEASE_TAG}_node.js"
mv catala/_build/default/_doc/_html artifacts/api-doc
mv catala/doc/syntax/syntax.pdf artifacts/
mv catala/_build/default/*.html artifacts/
mv ~/.opam/catala/doc/catala-examples/tuto*/*.html artifacts/
tar czf "artifacts/french_law_${RELEASE_TAG}_ocaml.tar.gz" french-law/ocaml
tar czf "artifacts/french_law_${RELEASE_TAG}_js.tar.gz" french-law/js
tar czf "artifacts/french_law_${RELEASE_TAG}_python.tar.gz" french-law/python
ln -s "french_law_${RELEASE_TAG}_ocaml.tar.gz" artifacts/french_law_ocaml.tar.gz
ln -s "french_law_${RELEASE_TAG}_js.tar.gz" artifacts/french_law_js.tar.gz
ln -s "french_law_${RELEASE_TAG}_python.tar.gz" artifacts/french_law_python.tar.gz
tar czf "artifacts/french_law_ocaml.tar.gz" french-law/ocaml
tar czf "artifacts/french_law_js.tar.gz" french-law/js
tar czf "artifacts/french_law_python.tar.gz" french-law/python
- name: Upload artifacts
continue-on-error: true
# Uploading artifacts works but then return failure with:
@ -133,6 +129,11 @@ jobs:
with:
name: Catala binaries
path: artifacts/*
- name: Extract Catala version
id: version
run: echo "catala_version=$(git describe --tags)" >> "$GITHUB_OUTPUT"
outputs:
version: ${{ steps.version.outputs.catala_version }}
pages:
name: Publish static content to github-pages

2
Dockerfile
View File

@ -49,4 +49,4 @@ ENV DUNE_PROFILE=check
RUN opam exec -- make build js_build
# Install to prefix
RUN opam exec -- make install
RUN opam exec -- make install && opam clean

11
build_release.sh
View File

@ -4,7 +4,7 @@ set -ue
RELEASE_TAG=${RELEASE_TAG:-$(git describe --tags 2>/dev/null || echo dev)}
BIN_TAG=${BIN_TAG:-$(uname -s)_$(uname -m)}
BIN_TAG=${BIN_TAG:-$(uname -s)-$(uname -m)}
CUSTOM_LINKING_CATALA_Z3="\
(-cclib -static
@ -37,10 +37,9 @@ docker run --rm -i registry.gitlab.inria.fr/verifisc/docker-catala:ocaml.4.14-z3
opam --cli=2.1 remove z3 catala &&
echo "'"${CUSTOM_LINKING_CATALA_NOZ3}"'" >compiler/custom_linking.sexp &&
opam --cli=2.1 install ./catala.opam --destdir ../release.out/ &&
rm -f ../release.out/bin/catala_web_interpreter &&
for f in ../release.out/bin/*; do
strip ${f};
mv ${f} ${f}_'"${RELEASE_TAG}"'_'"${BIN_TAG}"';
done;
for f in ../release.out/bin/*; do case ${f} in
*.js) mv ${f} ${f%.js}-'"${RELEASE_TAG}"'.js;;
*) strip ${f}; mv ${f} ${f}-'"${RELEASE_TAG}"'-'"${BIN_TAG}"';;
esac; done;
} >&2 && tar c -hC ../release.out/bin .' |
tar vx "$@"

2
compiler/dune
View File

@ -30,7 +30,7 @@
(section bin)
(package catala)
(files
(catala_web_interpreter.bc.js as catala_web_interpreter)))
(catala_web_interpreter.bc.js as catala_web_interpreter.js)))
(executable
(name tests)