File: smlnj-runtime.postinst

package info (click to toggle)
smlnj 110.79-4
  • links: PTS, VCS
  • area: main
  • in suites: bullseye, buster, sid
  • size: 82,508 kB
  • ctags: 117,516
  • sloc: ansic: 32,532; asm: 6,314; sh: 2,303; makefile: 1,821; perl: 1,170; pascal: 295; yacc: 190; cs: 78; python: 77; lisp: 19
file content (25 lines) | stat: -rw-r--r-- 511 bytes parent folder | download | duplicates (4)
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#