minizinc-ide.install


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

pkgname=minizinc-ide

post_install() {
    # Create links to MiniZinc executables
    for e in $(find /opt/$pkgname/bin -type f -executable -printf "%P\n")
    do
        ln -s /opt/$pkgname/bin/$e /usr/bin/$e
    done
    
    ln -s /opt/$pkgname/MiniZincIDE.sh /usr/bin/minizinc-ide
}

pre_remove() {
    # Remove links to MiniZinc executables
    for e in $(find /opt/$pkgname/bin -type f -executable -printf "%P\n")
    do
        rm /usr/bin/$e
    done
    
    rm /usr/bin/minizinc-ide
}