Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- pkgname=minizinc-ide
- pkgver=2.3.0
- pkgrel=1
- pkgdesc="Simple IDE for writing and running MiniZinc models"
- arch=(x86_64)
- url=http://www.minizinc.org/ide/
- license=(MPL2)
- provides=(minizinc)
- options=(!strip)
- install=$pkgname.install
- conflicts=(libminizinc)
- source=(
- minizinc-ide.desktop
- https://raw.githubusercontent.com/MiniZinc/MiniZincIDE/master/resources/icon.png
- https://github.com/MiniZinc/MiniZincIDE/releases/download/$pkgver/MiniZincIDE-$pkgver-bundle-linux-x86_64.tgz
- )
- sha256sums=(
- bf26b9e3cae148fb05ce131ef62076bda467ebd2ce9913525a5540f09435c2b6
- eaa69a6d1b8a3e307d1b400b74273995abb914fbe1246c65fc9b3955b2094023
- 7d5091066a691041caf9dd38087aee71947304bde83477bc05e325f6c219f2a2
- )
- package() {
- # Create MiniZinc directory
- mkdir -p $pkgdir/opt/$pkgname
- # Copy MiniZinc files
- cp -r $srcdir/MiniZincIDE-$pkgver-bundle-linux/* $pkgdir/opt/$pkgname
- # Copy MiniZinc launcher
- mkdir -p $pkgdir/usr/share/applications
- cp $srcdir/icon.png $pkgdir/opt/$pkgname/resources/icon.png
- cp $srcdir/minizinc-ide.desktop $pkgdir/usr/share/applications/minizinc-ide.desktop
- }
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement