From f079acc33df5ebb19b69cd208b266d26b78083f9 Mon Sep 17 00:00:00 2001 From: PHO Date: Thu, 30 Dec 2010 15:26:15 +0900 Subject: [PATCH] DEINSTALL script to remove package.cache --- DEINSTALL | 9 +++++++++ Makefile | 3 +++ 2 files changed, 12 insertions(+) create mode 100644 DEINSTALL diff --git a/DEINSTALL b/DEINSTALL new file mode 100644 index 0000000..14c866d --- /dev/null +++ b/DEINSTALL @@ -0,0 +1,9 @@ +#!/bin/sh +# +DISTNAME="@DISTNAME@" + +case ${STAGE} in + DEINSTALL) + ${RM} -f ${PKG_PREFIX}/lib/${DISTNAME}/package.conf.d/package.cache + ;; +esac diff --git a/Makefile b/Makefile index 492c755..55d052d 100644 --- a/Makefile +++ b/Makefile @@ -178,6 +178,9 @@ do-configure: # ${RUN} ${ECHO} "GhcRtsCcOpts = -O0 -g" >> ${WRKSRC}/mk/build.mk #.endif +# Substitutions for INSTALL and DEINSTALL. +FILES_SUBST+= DISTNAME=${DISTNAME} + # Some unused scripts don't pass the portability test. CHECK_PORTABILITY_SKIP+= distrib/prep-bin-dist-mingw -- 2.40.0