Action to generate Emscripten demos.

pull/76/head
Bruno Levy 2022-12-20 15:33:22 +01:00
rodzic 9e03cf27ab
commit 3fe4578617
2 zmienionych plików z 89 dodań i 0 usunięć

Wyświetl plik

@ -0,0 +1,49 @@
name: Emscripten
on:
workflow_dispatch
jobs:
Build:
name: ${{ matrix.name }}
runs-on: ${{ matrix.os }}
strategy:
fail-fast: false
matrix:
os: [ubuntu-20.04]
include:
- os: ubuntu-20.04
name: Linux
steps:
- name: Checkout repository
uses: actions/checkout@v3
with:
submodules: recursive
- name: Dependencies
run: |
sudo apt-get update
sudo apt-get install emscripten
- name: Configure
run: |
./configure.sh Emscripten-clang
- name: Build
run: |
cd build/Emscripten-clang-Release;\
make -j2 2>&1 |tee ../../build_log.txt
- name: Generate webpages
run: |
tools/gen_all_emscripten_htmls.sh build/Emscripten-clang-Release/bin\
geogram_demo_Delaunay2d geogram_demo_Delaunay3d\
geogram_demo_Evert geogram_demo_Raytrace\
geobox geocod geoshade
- name: Publish reports on gh-pages
uses: peaceiris/actions-gh-pages@v3
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./build/Emscripten-clang-Release/bin
destination_dir: emscripten

Wyświetl plik

@ -0,0 +1,40 @@
#!/bin/bash
# Calls gen_emscripten_html.sh for a list of files in the specified directory
EXEDIR=$1
SCRIPTDIR=`dirname "$0"`
shift
EXES=$@
if [ -z "$EXEDIR" ] || [ -z "$EXES" ];
then
echo "Usage: gen_all_emscripten_htmls.sh directory exe1 exe2 ... exeN"
echo "(where exe is executable name without the .js extension)"
exit -1
fi
for EXE in $EXES
do
echo Generating webpage for $EXEDIR/$EXE
if ! [ -f "$EXEDIR/$EXE.js" ];
then
echo " $EXEDIR/$EXE.js: File not found !"
exit -1
fi
(cd $EXEDIR; ../../../tools/gen_emscripten_html.sh $EXE)
done
INDEX="$EXEDIR/index.html"
echo Generating index: $INDEX
cat tools/head.html > $INDEX
echo "<H1> Emscripten demos </H1>" >> $INDEX
echo "<ul>" >> $INDEX
for EXE in $EXES
do
echo "<li> <a href="$EXE.html"> $EXE </a> </li>" >> index.html
done
echo "</ul>" >> $INDEX