1#!/bin/sh 2#require prefix 3#require makefiletop 4#phase config 5#phase makefile 6#after makefile_makefiletop 7case $PHASE in 8 config) 9 dispn "Reading firemake.headers..." 10 HEADERS=`cat firemake.headers 2>/dev/null` 11 disp "done" 12 ;; 13 makefile) 14 dispn "Writing header installation entry..." 15 16 $ECHO "install_headers:" 17 18 for HEADER in $HEADERS; do 19 $ECHO " $INSTALL $HEADER \$(INCLUDEDIR) $INSTALL_USER $INSTALL_GROUP 0644" 20 done 21 $ECHO 22 23 disp "done" 24 ;; 25esac 26