Skip to content
Snippets Groups Projects
Commit f7d78070 authored by Andre Maroneze's avatar Andre Maroneze
Browse files

[Makefile] fix installation with non-standard prefix

parent 62e3144f
No related branches found
No related tags found
No related merge requests found
......@@ -136,7 +136,8 @@ install::
$(E_ACSL_DIR)/doc/manuals/e-acsl-manual.pdf \
$(FRAMAC_SHARE)/manuals
$(PRINT_INSTALL) E-ACSL scripts
$(CP) $(E_ACSL_DIR)/scripts/e-acsl-gcc.sh $(BINDIR)
$(MKDIR) $(BINDIR)
$(CP) $(E_ACSL_DIR)/scripts/e-acsl-gcc.sh $(BINDIR)/
uninstall::
$(PRINT_RM) E-ACSL share files
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment