blob: 85b62292db33d8802ed1a3229c47e75ee55b47e9 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
#!/bin/bash
# set -x
if [ -z "$EMSDK" ] ; then
echo "WARNING: EMSDK unset, trying to use system-default with EM_CONFIG ~/.emscripten (not recommended)"
echo "WARNING: Consider installing emscripten upstream and setup environment via ~/emsdk/emsdk_env.sh"
export EM_CONFIG=$HOME/.emscripten
else
echo "INFO: EMSDK set (recommended), using it"
fi
# RECOMMENDED
# emsdk_root=`readlink -f $HOME/emsdk`
# echo "Using EMSDK ${emsdk_root}"
# . ${emsdk_root}/emsdk_env.sh
# NOT RECOMMENDED
# export EM_CONFIG=$HOME/.emscripten
# Generate config, clear cach and/or ports
# emcc --generate-config
# emcc --clear-cache
# emcc --clear-ports
#
|
