Rev 94 | Rev 98 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 94 | Rev 97 | ||
|---|---|---|---|
| Line 29... | Line 29... | ||
| 29 | # installation fails and the `postinst' is called with `abort-upgrade',  | 
            29 | # installation fails and the `postinst' is called with `abort-upgrade',  | 
          
| 30 | # `abort-remove' or `abort-deconfigure'.  | 
            30 | # `abort-remove' or `abort-deconfigure'.  | 
          
| 31 | LOCAL_DIRS="lib/pike${PIKE}/modules lib/pike${PIKE}/include"
 | 
            31 | LOCAL_DIRS="lib/pike${PIKE}/modules lib/pike${PIKE}/include"
 | 
          
| 32 | 32 | ||
| 33 | update_modules () {
 | 
            33 | update_modules () {
 | 
          
| 34 | find /usr/lib/$PIKEBIN/modules -name '*.o' | sed 's/.o$//' |  | 
            34 | find /usr/lib/$PIKEBIN/modules -name '*.o' -delete  | 
          
| 35 | while read f; do  | 
            - | |
| 36 | if [ ! -f $f ]; then  | 
            - | |
| 37 | rm -f $f.o  | 
            - | |
| 38 | fi  | 
            - | |
| 39 | done  | 
            - | |
| 40 | $PIKEBIN -x dump $@ --distquiet -r /usr/lib/$PIKEBIN/modules  | 
            35 | $PIKEBIN -x dump --distquiet -r /usr/lib/$PIKEBIN/modules  | 
          
| 41 | }  | 
            36 | }  | 
          
| 42 | 37 | ||
| 43 | case "$1" in  | 
            38 | case "$1" in  | 
          
| 44 | configure)  | 
            39 | configure)  | 
          
| 45 |     update-alternatives --install /usr/bin/pike pike /usr/bin/${PIKEBIN} 12 \
 | 
            40 |     update-alternatives --install /usr/bin/pike pike /usr/bin/${PIKEBIN} 12 \
 | 
          
| Line 52... | Line 47... | ||
| 52 | install -d -m 755 -o root -g root /usr/local/$d || true  | 
            47 | install -d -m 755 -o root -g root /usr/local/$d || true  | 
          
| 53 | fi  | 
            48 | fi  | 
          
| 54 | done  | 
            49 | done  | 
          
| 55 | 50 | ||
| 56 | update_modules  | 
            51 | update_modules  | 
          
| - | 52 | $PIKEBIN -x dump --distquiet /usr/lib/$PIKEBIN/master.pike  | 
          |
| 57 | ;;  | 
            53 | ;;  | 
          
| 58 | 54 | ||
| 59 | abort-upgrade|abort-remove|abort-deconfigure)  | 
            55 | abort-upgrade|abort-remove|abort-deconfigure)  | 
          
| 60 | 56 | ||
| 61 | ;;  | 
            57 | ;;  | 
          
| 62 | 58 | ||
| 63 | triggered)  | 
            59 | triggered)  | 
          
| 64 | update_modules -u  | 
            60 | update_modules  | 
          
| 65 | ;;  | 
            61 | ;;  | 
          
| 66 | 62 | ||
| 67 | *)  | 
            63 | *)  | 
          
| 68 | echo "postinst called with unknown argument \`$1'" >&2  | 
            64 | echo "postinst called with unknown argument \`$1'" >&2  | 
          
| 69 | exit 1  | 
            65 | exit 1  |