up to 8.0.2

diff --git a/phpstorm.spec b/phpstorm.spec
index eb7d09df2cffe7b770c8f4c37253fdd54f3cbde0..4c5a011f9ea1f02df7d6bc28192a3cdf3a285d23 100644 (file)
--- 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:       8.0.1
+Version:       8.0.2
 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:       cef81f374f35520b88fba5eb329e8b33
+# NoSource0-md5:       fb1f77f063d666fb17c4d1d1e7844bab
 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-138.2001.2328
+%setup -qn PhpStorm-139.732
 
 # 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 dfc1de47d7b90a8865cc66e0ef1790a9932150f0..ea9cbadbca863811f2db501c1e15fad30aea4b57 100644 (file)
--- a/pld.patch
+++ b/pld.patch
@@ -1,5 +1,5 @@
---- 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
+--- PhpStorm-139.732/bin/phpstorm.sh~  2014-12-10 13:42:32.000000000 +0200
++++ PhpStorm-139.732/bin/phpstorm.sh   2014-12-13 21:00:59.776397175 +0200
 @@ -152,8 +152,11 @@
    fi
  fi
@@ -7,7 +7,7 @@
 +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=WebIde80 $IDE_PROPERTIES_PROPERTY"
+ COMMON_JVM_ARGS="-XX:ErrorFile=$HOME/java_error_in_WEBIDE_%p.log \"-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"