imgui-rs/imgui-sys/third-party/update-cimgui-output.sh
2020-11-12 22:36:42 +02:00

15 lines
298 B
Bash
Executable File

#!/bin/bash
set -euo pipefail
SCRIPT_DIR=$(dirname ${0})
CIMGUI_DIR=${1:?}
echo "${SCRIPT_DIR}"
pushd "${CIMGUI_DIR}"/generator > /dev/null
luajit generator.lua gcc false
popd > /dev/null
cp "${CIMGUI_DIR}"/cimgui.{h,cpp} "${SCRIPT_DIR}"/
cp "${CIMGUI_DIR}"/generator/output/* "${SCRIPT_DIR}"/