~cypheon/pkgsrc-wip

4c7e995ce2b90a8e6f4d2759479154c86f59d743 — Johann Rudloff 2 years ago 3b93494 master
idris2: fix order for moving binaries
1 files changed, 4 insertions(+), 4 deletions(-)

M idris2/Makefile
M idris2/Makefile => idris2/Makefile +4 -4
@@ 28,10 28,10 @@ do-build:
post-install:
	#rm -f ${DESTDIR}/${PREFIX}/lib/idris2/bin/idris2_app/idris2-boot.so
	#rm -f ${DESTDIR}/${PREFIX}/lib/idris2/bin/idris2_app/idris2-boot.ss
	rm -rf ${DESTDIR}/${PREFIX}/lib/idris2/bin
	#mkdir -p ${DESTDIR}/${PREFIX}/bin
	#ls -la ${DESTDIR}/${PREFIX}/bin
	#mv ${DESTDIR}/${PREFIX}/lib/idris2/bin/* ${DESTDIR}/${PREFIX}/bin/
	mkdir -p ${DESTDIR}/${PREFIX}/bin
	ls -la ${DESTDIR}/${PREFIX}/bin
	mv ${DESTDIR}/${PREFIX}/lib/idris2/bin/* ${DESTDIR}/${PREFIX}/bin/
	#rm -rf ${DESTDIR}/${PREFIX}/lib/idris2/bin
	#rmdir ${DESTDIR}/${PREFIX}/lib/idris2/bin

.include "../../devel/gmp/buildlink3.mk"