From c84bc8994a7a66d5998b070eb2f66de4c1dafeb9 Mon Sep 17 00:00:00 2001 From: Julien Signoles <julien.signoles@cea.fr> Date: Thu, 20 Feb 2014 13:35:22 +0100 Subject: [PATCH] [Makefiles] remove machine-dependent absolute path --- src/plugins/e-acsl/Makefile.in | 2 +- src/plugins/e-acsl/doc/refman/Makefile | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/plugins/e-acsl/Makefile.in b/src/plugins/e-acsl/Makefile.in index b593afeee63..e36364a11a1 100644 --- a/src/plugins/e-acsl/Makefile.in +++ b/src/plugins/e-acsl/Makefile.in @@ -190,7 +190,7 @@ e-acsl-distrib: .depend $(PRINT) Cleaning $(RM) -fr $(EXPORT) -WWW = /localhome/julien/frama-c/doc/www +WWW ?= /localhome/julien/frama-c/doc/www e-acsl-install-distrib: e-acsl-distrib $(PRINT) Copying to website $(CP) $(EXPORT).tar.gz $(WWW)/distrib/download/e-acsl diff --git a/src/plugins/e-acsl/doc/refman/Makefile b/src/plugins/e-acsl/doc/refman/Makefile index 7270a3f9554..2e6e31df15a 100644 --- a/src/plugins/e-acsl/doc/refman/Makefile +++ b/src/plugins/e-acsl/doc/refman/Makefile @@ -21,7 +21,7 @@ all: e-acsl LANGUAGE_VERSION=1.7-1 EACSL_VERSION= 0.3 -EACSL_DIR=$(HOME)/plugins/e-acsl +EACSL_DIR=../.. DISTRIB_DIR=$(HOME)/frama-c/doc/www/distrib install: e-acsl-implementation.pdf e-acsl.pdf cp -f $^ $(EACSL_DIR)/doc/manuals -- GitLab