11:f6d69f193b52 0.5
Anton Shestakov <av6@dwimlabs.net>, Sat, 22 Oct 2016 20:19:32 +0800
index: player depends on ui and libgme, but the latter is more important
next change 26:95a37a852387
previous change 0:b3f4f408e1ac

recipe.sh

Permissions: -rw-r--r--

File Latest Revisions Annotate Diff Comparison
Other formats:
JSON Raw
Feeds:
Atom RSS 
#!/bin/sh
# cd game-music-player
# mkdir build
# cd build
emcmake cmake ../
emmake make gme
# Original, big and inclusive
emcc gme/libgme.so -o libgme.O0.js -s LINKABLE=1 -s EXPORT_ALL=1 -O0
(
    echo '['
    egrep 'gme_[a-z0-9_]+' -o player.js | sort -u | awk '{printf "    \"_" $0 "\",\n"}' | sed '$s/,$//'
    echo ']'
) > exported_functions.json
# Smaller and hand-picked
emcc gme/libgme.so -o libgme.O2.js -s NO_FILESYSTEM=1 -s EXPORTED_FUNCTIONS=@exported_functions.json -O2
# Smaller still
emcc gme/libgme.so -o libgme.Oz.js -s NO_FILESYSTEM=1 -s EXPORTED_FUNCTIONS=@exported_functions.json -Oz --llvm-lto 1