Skip to content

Instantly share code, notes, and snippets.

Created April 14, 2015 13:11
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save anonymous/4f11935a60544cb9b4e3 to your computer and use it in GitHub Desktop.
Save anonymous/4f11935a60544cb9b4e3 to your computer and use it in GitHub Desktop.
# Maintainer: Johannes Schlatow <johannes.schlatow@googlemail.com>
pkgname=jetbrains-mps
pkgver=3.2.1
_majorver=32
_majorverdot=3.2
pkgrel=1
pkgdesc="JetBrains Meta Programming System"
arch=('any')
url="http://www.jetbrains.com/mps/index.html"
license=('custom: MPS license agreement')
depends=('gcc' 'make')
makedepends=('')
optdepends=('graphviz: for visualisation')
source=("http://download.jetbrains.com/mps/${_majorver}/MPS-${pkgver}.tar.gz"
"LICENSE")
build() {
cd "${srcdir}"
echo "#!/bin/sh" > mps
echo "exec /opt/JetBrains-MPS/mps.sh" >> mps
}
package() {
install -d "${pkgdir}/opt/"
mv "${srcdir}/MPS ${_majorverdot}/" "${pkgdir}/opt/JetBrains-MPS"
install -D "${srcdir}/LICENSE" "${pkgdir}/usr/share/licenses/jetbrains-mps/LICENSE"
install -m 755 -D "${srcdir}/mps" "${pkgdir}/usr/bin/mps"
}
md5sums=('c0175e9ecbb795fa81d6288c1f48b643'
'26d03b8e4f2ab788eb640ced6bad9e71')
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment