1 diff -ru bsc-orig/src/vendor/stp/Makefile bsc-new/src/vendor/stp/Makefile
2 --- bsc-orig/src/vendor/stp/Makefile 1969-12-31 16:00:01.000000000 -0800
3 +++ bsc-new/src/vendor/stp/Makefile 2020-11-12 17:42:40.115143035 -0800
8 +SNAME += lib/libstp_stub.so
11 ifeq ($(OSTYPE), Darwin)
13 +SNAME = lib/libstp.dylib
16 +SNAME += lib/libstp.so.1
21 $(MAKE) -C $(SRC) install
22 ln -fsn HaskellIfc include_hs
23 install -m 755 -d $(PREFIX)/lib/SAT
24 - install -m 644 lib/$(SNAME) $(PREFIX)/lib/SAT
25 + install -m 644 $(SNAME) $(PREFIX)/lib/SAT
28 $(MAKE) -C $(SRC) clean