# Makefile to copy a modified origin.properties file to the right
# locations and to restart the tomcat server
#
# 1.0 20030818 Thomas Lenggenhager, SWITCH

SHELL = /bin/sh

shib_version      = 1.1
tomcat_version    = jakarta-tomcat-4.1.27-LE-jdk14

src_dir           = /etc/opt/${tomcat_version}/shibboleth/
origin_properties = origin.properties

shib_dest         = /opt/shibboleth-origin-${shib_version}/src/conf/
tomcat_dest       = /opt/${tomcat_version}/webapps/shibboleth/WEB-INF/classes/conf/

all: copy restart

copy:
	cd ${src_dir} && \
	/bin/cp -fp ${origin_properties} ${shib_dest} && \
	/bin/cp -fp ${origin_properties} ${tomcat_dest}

restart:
	/etc/init.d/tomcat restart