root@18fcb89aeea9:/app# leanmake clean && leanmake build/bin/test
warning: failed to query latest release, using existing version 'leanprover/lean4-nightly:nightly-2025-04-07'
rm -rf build
warning: failed to query latest release, using existing version 'leanprover/lean4-nightly:nightly-2025-04-07'
deps=`lean --deps Main.lean` || (echo "lean --deps Main.lean failed ($?): $deps"; exit 1); \
  deps=`echo "$deps" | tr '\\\\' / | tr -d '\\r'`; \
  echo build/Main.olean: $deps > build/temp/Main.depend
deps=`lean --deps Main/S.lean` || (echo "lean --deps Main/S.lean failed ($?): $deps"; exit 1); \
  deps=`echo "$deps" | tr '\\\\' / | tr -d '\\r'`; \
  echo build/Main/S.olean: $deps > build/temp/Main/S.depend
LEAN_OPTS="-DwarningAsError=true"; \
[[ -z "" ]] || LEAN_OPTS+=" --bc=build/temp/Main/S.bc.tmp"; \
lean $LEAN_OPTS -o "build/Main/S.olean" -i "build/Main/S.ilean" --c="build/temp/Main/S.c.tmp" "Main/S.lean"
leanc -c -o build/temp/Main/S.o.export build/temp/Main/S.c -O3 -DNDEBUG -DLEAN_EXPORTING
ln -f build/temp/Main/S.o.export build/temp/Main/S.o
LEAN_OPTS="-DwarningAsError=true"; \
[[ -z "" ]] || LEAN_OPTS+=" --bc=build/temp/Main.bc.tmp"; \
lean $LEAN_OPTS -o "build/Main.olean" -i "build/Main.ilean" --c="build/temp/Main.c.tmp" "Main.lean"
leanc -c -o build/temp/Main.o.export build/temp/Main.c -O3 -DNDEBUG -DLEAN_EXPORTING
ln -f build/temp/Main.o.export build/temp/Main.o
g++ -std=c++14 -c -o build/testcpp/myfuns.o myfuns.cpp -O3 `leanc --print-cflags`
g++ -o build/bin/test build/lib/libMain.a build/testcpp/myfuns.o `leanc -shared --print-ldflags | sed 's/-lc++[^ ]*//g'` -lInit_shared -lleanshared_1 -lleanshared -Wl,-rpath,`lean --print-prefix`/lib/lean