psl-linux.sh 443 B

1234567891011121314151617181920212223242526272829303132333435
  1. #! /bin/bash -v
  2. rm -f bpsl
  3. gcc -ggdb -O0 \
  4. -no-pie \
  5. -Wall \
  6. -DLINUX \
  7. -DBPSSIZE=20500000 \
  8. bps.c \
  9. bpsheap.c \
  10. echo.c \
  11. file-status.c \
  12. float.c \
  13. os-hooks.c \
  14. pslextras.c \
  15. pslsocket.c \
  16. pwd-fn.c \
  17. sigs.c \
  18. unix-io.c \
  19. creloc.c \
  20. formlink2.c \
  21. pslstubs.c \
  22. linux-main.s \
  23. linux-dmain.s \
  24. acn.s \
  25. acn1.c \
  26. -lm -ldl -lpthread \
  27. -o bpsl
  28. ./try-bpsl.sh
  29. # end of script