File: smlnj-runtime.postinst

package info (click to toggle)
smlnj 110.74-2
  • links: PTS
  • area: main
  • in suites: wheezy
  • size: 22,868 kB
  • sloc: makefile: 139; sh: 53
file content (25 lines) | stat: -rw-r--r-- 511 bytes parent folder | download | duplicates (5)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
#!/bin/bash

set -e

SMLNJ_HOME=/usr/lib/smlnj
PATHCONFIG="$SMLNJ_HOME/lib/pathconfig"

build_pathconfig() {
    cp -f "$SMLNJ_HOME/lib/extrapathconfig" "$PATHCONFIG"
    for f in "$SMLNJ_HOME"/lib/[^.]*; do
        if [ -d "$f" ]; then
            g="$(basename $f)"
            echo "$g $g" >> "$PATHCONFIG"
        fi
    done
    for f in "$SMLNJ_HOME"/bin/[^.]*; do
        if [ -f "$f" ]; then
            echo "$(basename $f) ../bin" >> "$PATHCONFIG"
        fi
    done
}

build_pathconfig

#DEBHELPER#