From: Jérémie Astor Date: Sat, 8 Aug 2020 11:21:38 +0000 (+0200) Subject: :wrench: Improve uninstall X-Git-Tag: nightly~1396 X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=0beac532be8867e715285c32ab184d03f4e78567;p=gwion.git :wrench: Improve uninstall --- diff --git a/Makefile b/Makefile index d06d293d..dc26b736 100644 --- a/Makefile +++ b/Makefile @@ -106,8 +106,10 @@ install: ${PRG} uninstall: $(info uninstalling ${GWION_PACKAGE} from ${PREFIX}) - @rm -rf ${DESTDIR}/${PREFIX}/bin/${PRG} - @rm -rf ${DESTDIR}/${PREFIX}/include/gwion + @rm ${DESTDIR}/${PREFIX}/bin/${PRG} + @rm ${DESTDIR}/${PREFIX}/lib/lib${PRG}.a + @rm ${DESTDIR}/${PREFIX}/include/gwion/*.h + @rmdir --ignore-fail-on-non-empty ${DESTDIR}/${PREFIX}/include/gwion test: @bash scripts/test.sh ${test_dir}