minizinc-ide-edge.install


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24

bins="findMUS fzn-chuffed fzn-gecode minizinc minizinc-globalizer MiniZincIDE"
binsPath="/opt/minizinc-ide-edge/bin"

post_install() {
    # Create links to bins
    for b in $bins
    do
        ln -s $binsPath/$b /usr/bin/$b
    done
    
    # Create links to scripts
    ln -s $binsPath/run-fzn-gecode-gist /usr/bin/fzn-gecode-gist
}

pre_remove() {
    # Remove links to bins
    for b in $bins
    do
        rm /usr/bin/$b
    done
    
    # Remove links to scripts
    rm /usr/bin/fzn-gecode-gist
}