diff --git a/ivette/makefile.opam b/ivette/makefile.opam index f2d1c5e9df6a8fb167b986dda399afd57dbdcd46..6a907d2cc159b4b8303986c197629eeb1f693d3d 100644 --- a/ivette/makefile.opam +++ b/ivette/makefile.opam @@ -27,20 +27,16 @@ .PHONY: install uninstall install: - @echo "Installing Ivette…" - @mkdir -p $(PREFIX)/bin - @install ivette/ivette-opam.sh $(PREFIX)/bin/ivette - @mkdir -p $(PREFIX)/lib/frama-c - @tar zcf $(PREFIX)/lib/frama-c/ivette.tgz ivette - @echo "Done" + mkdir -p $(PREFIX)/bin + install ivette/ivette-opam.sh $(PREFIX)/bin/ivette + mkdir -p $(PREFIX)/lib/frama-c + tar zcf $(PREFIX)/lib/frama-c/ivette.tgz ivette uninstall: - @echo "Removing Ivette…" - @rm -f $(PREFIX)/bin/ivette - @rm -f $(PREFIX)/lib/frama-c/ivette.tgz - @if test -d /Applications/Ivette.app ;\ + rm -f $(PREFIX)/bin/ivette + rm -f $(PREFIX)/lib/frama-c/ivette.tgz + if test -d /Applications/Ivette.app ;\ then \ mkdir -p $(PREFIX)/bin; \ install ivette/ivette-macos-cleanup.sh $(PREFIX)/bin/ivette; \ fi - @echo "Done"