Skip to content
Snippets Groups Projects
Commit c84bc899 authored by Julien Signoles's avatar Julien Signoles
Browse files

[Makefiles] remove machine-dependent absolute path

parent 071b8416
No related branches found
No related tags found
No related merge requests found
...@@ -190,7 +190,7 @@ e-acsl-distrib: .depend ...@@ -190,7 +190,7 @@ e-acsl-distrib: .depend
$(PRINT) Cleaning $(PRINT) Cleaning
$(RM) -fr $(EXPORT) $(RM) -fr $(EXPORT)
WWW = /localhome/julien/frama-c/doc/www WWW ?= /localhome/julien/frama-c/doc/www
e-acsl-install-distrib: e-acsl-distrib e-acsl-install-distrib: e-acsl-distrib
$(PRINT) Copying to website $(PRINT) Copying to website
$(CP) $(EXPORT).tar.gz $(WWW)/distrib/download/e-acsl $(CP) $(EXPORT).tar.gz $(WWW)/distrib/download/e-acsl
......
...@@ -21,7 +21,7 @@ all: e-acsl ...@@ -21,7 +21,7 @@ all: e-acsl
LANGUAGE_VERSION=1.7-1 LANGUAGE_VERSION=1.7-1
EACSL_VERSION= 0.3 EACSL_VERSION= 0.3
EACSL_DIR=$(HOME)/plugins/e-acsl EACSL_DIR=../..
DISTRIB_DIR=$(HOME)/frama-c/doc/www/distrib DISTRIB_DIR=$(HOME)/frama-c/doc/www/distrib
install: e-acsl-implementation.pdf e-acsl.pdf install: e-acsl-implementation.pdf e-acsl.pdf
cp -f $^ $(EACSL_DIR)/doc/manuals cp -f $^ $(EACSL_DIR)/doc/manuals
......
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