monotonicity

A city-building and transport simulation game written in Lean

  1. 1
  2. 2
  3. 3
  4. 4
  5. 5
  6. 6
  7. 7
  8. 8
  9. 9
  10. 10
  11. 11
  12. 12
  13. 13
  14. 14
  15. 15
  16. 16
  17. 17
  18. 18
  19. 19
  20. 20
#!/bin/sh

set -eu

pkg_library_path=$(pkg-config --libs-only-L gmp libuv raylib | sed 's/-L//g' | tr ' ' ':')

if [ -n "${LIBRARY_PATH:-}" ]; then
    pkg_library_path="$pkg_library_path:$LIBRARY_PATH"
fi

# Fetch dependencies before patching raylean
lake update

if patch --dry-run -R -d .lake/packages/raylean -p1 < raylean.patch >/dev/null 2>&1; then
    echo "raylean patch already applied"
else
    patch -r /dev/null -d .lake/packages/raylean -p1 < raylean.patch
fi

LEAN_CC=${LEAN_CC:-cc} LIBRARY_PATH="$pkg_library_path" lake build