blob: f5dc3e25bc860c2aa7d70b73eaa184fd5adc6534 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
# Generated by mksrcinfo v8
# Wed Jul 19 21:58:12 UTC 2017
pkgbase = phpstorm
pkgdesc = Lightweight and Smart PHP IDE
pkgver = 2017.2
pkgrel = 1
url = https://www.jetbrains.com/phpstorm/
arch = x86_64
arch = i686
license = Commercial
makedepends = rsync
options = !strip
source = https://download.jetbrains.com/webide/PhpStorm-2017.2.tar.gz
source = jetbrains-phpstorm.desktop
sha512sums = 3f2b89e5ad2fa5ea011fd63d9bcd727884c9578b4d49b4df9f4772fd2e77fdeccaa36cffcfb767c72c1409c1d6c5a9e73fede22fa1fa4437a0d35bfc18d7ca38
sha512sums = fe312d7c637ec20bd946f2e22681243a51f29afc1052ae3fe5afd0fe01f77c222bf1e2c98f0afad8d5385466215653b7ffa8718da05b6dac100ba768ff2be1d6
pkgname = phpstorm
optdepends = webstorm-jre: JetBrains custom Java Runtime (Recommended)
optdepends = java-runtime>=8: JRE - Required if webstorm-jre is not installed
optdepends = gnome-keyring: save login/deployment credentials safely
pkgname = phpstorm-jre
|