update-ziget-build-files-copy 588 B

1234567891011121314151617181920
  1. #!/usr/bin/env sh
  2. # this is a temporary script that copies the build files from the ziget repo
  3. # this can be removed once some form of Dynamic build.zig dependencies is implemented
  4. #
  5. # see https://github.com/ziglang/zig/issues/8070
  6. #
  7. set -ex
  8. if [ ! -e dep/ziget ]; then
  9. echo "Error: please clone the ziget repo first, run 'zig build' to see how"
  10. exit 1
  11. fi
  12. rm -rf ziget-build-files-copy
  13. for f in build.zig GitRepoStep.zig loggyrunstep.zig openssl/sources; do
  14. dir=$(dirname $f)
  15. mkdir -p ziget-build-files-copy/$dir
  16. cp dep/ziget/$f ziget-build-files-copy/$dir
  17. done