[packages/phpstorm] up to 8.0

[glen]

commit d9a27da7bec9929bb007a90899945a3674026854
Author: Elan Ruusamäe <glen at delfi.ee>
Date:   Sun Sep 21 12:49:32 2014 +0300

    up to 8.0

 phpstorm.spec | 6 +++---
 pld.patch     | 8 ++++----
 2 files changed, 7 insertions(+), 7 deletions(-)
---
diff --git a/phpstorm.spec b/phpstorm.spec
index 03f0f17..c4b7b6e 100644
--- a/phpstorm.spec
+++ b/phpstorm.spec
@@ -1,13 +1,13 @@
 %include	/usr/lib/rpm/macros.java
 Summary:	Lightweight and Smart PHP IDE
 Name:		phpstorm
-Version:	7.1.3
+Version:	8.0
 Release:	1
 # TODO: figure out what's the licensing and redistribution
 License:	?
 Group:		Development/Tools
 Source0:	http://download.jetbrains.com/webide/PhpStorm-%{version}.tar.gz
-# NoSource0-md5:	5c68dce5fa53ce2ff42fa8a590561c40
+# NoSource0-md5:	4e29c06628a4db9faed1c25c5f086bbf
 NoSource:	0
 Source1:	%{name}.desktop
 Source2:	%{name}.py
@@ -46,7 +46,7 @@ Note: PhpStorm includes all the functionality of WebStorm (HTML/CSS
 Editor, JavaScript Editor) and adds full-fledged support for PHP.
 
 %prep
-%setup -qn PhpStorm-133.982
+%setup -qn PhpStorm-138.2000.2262
 
 # keep only single arch files (don't want to pull 32bit deps by default),
 # if you want to mix, install rpm from both arch
diff --git a/pld.patch b/pld.patch
index 4c496c0..dfc1de4 100644
--- a/pld.patch
+++ b/pld.patch
@@ -1,13 +1,13 @@
---- PhpStorm-133.982/bin/phpstorm.sh~	2014-02-25 05:52:36.000000000 +0200
-+++ PhpStorm-133.982/bin/phpstorm.sh	2014-03-19 23:55:40.612633775 +0200
-@@ -145,8 +145,11 @@
+--- PhpStorm-138.2000.2262/bin/phpstorm.sh~	2014-09-15 10:51:24.000000000 +0300
++++ PhpStorm-138.2000.2262/bin/phpstorm.sh	2014-09-18 13:52:07.381670103 +0300
+@@ -152,8 +152,11 @@
    fi
  fi
  
 +WEBIDE_CONFIG_DIR="${XDG_CONFIG_HOME:-$HOME/.config}/PhpStorm"
 +WEBIDE_CACHE_DIR="${XDG_CACHE_HOME:-$HOME/.cache}/PhpStorm"
 +
- COMMON_JVM_ARGS="\"-Xbootclasspath/a:$IDE_HOME/lib/boot.jar\" -Didea.paths.selector=WebIde70 $IDE_PROPERTIES_PROPERTY"
+ COMMON_JVM_ARGS="\"-Xbootclasspath/a:$IDE_HOME/lib/boot.jar\" -Didea.paths.selector=WebIde80 $IDE_PROPERTIES_PROPERTY"
 -IDE_JVM_ARGS="-Didea.platform.prefix=PhpStorm -Didea.no.jre.check=true"
 +IDE_JVM_ARGS="-Didea.platform.prefix=PhpStorm -Didea.no.jre.check=true -Dwebide.config.dir=$WEBIDE_CONFIG_DIR -Dwebide.cache.dir=$WEBIDE_CACHE_DIR"
  ALL_JVM_ARGS="$VM_OPTIONS $COMMON_JVM_ARGS $IDE_JVM_ARGS $AGENT $REQUIRED_JVM_ARGS"
================================================================

---- gitweb:

http://git.pld-linux.org/gitweb.cgi/packages/phpstorm.git/commitdiff/f9bf9537a0305798da4eb072f68eb49c58b3320c