Go to:
Gentoo Home
Documentation
Forums
Lists
Bugs
Planet
Store
Wiki
Get Gentoo!
Gentoo's Bugzilla – Attachment 456522 Details for
Bug 602958
=sci-mathematics/isabelle-2016 version bump
Home
|
New
–
[Ex]
|
Browse
|
Search
|
Privacy Policy
|
[?]
|
Reports
|
Requests
|
Help
|
New Account
|
Log In
[x]
|
Forgot Password
Login:
[x]
[patch]
classpath patch updated
isabelle-2016-classpath.patch (text/plain), 1.24 KB, created by
David E. Narváez
on 2016-12-17 20:26:15 UTC
(
hide
)
Description:
classpath patch updated
Filename:
MIME Type:
Creator:
David E. Narváez
Created:
2016-12-17 20:26:15 UTC
Size:
1.24 KB
patch
obsolete
>Index: Isabelle2016/lib/Tools/java >=================================================================== >--- Isabelle2016.orig/lib/Tools/java >+++ Isabelle2016/lib/Tools/java >@@ -10,5 +10,5 @@ declare -a JAVA_ARGS; eval "JAVA_ARGS=($ > unset CLASSPATH > > isabelle_java java "${JAVA_ARGS[@]}" \ >- -classpath "$(platform_path "$ISABELLE_CLASSPATH")" "$@" >+ -classpath "$(platform_path "$ISABELLE_CLASSPATH:$(java-config -p scala-2.11)")" "$@" > >Index: Isabelle2016/lib/Tools/scala >=================================================================== >--- Isabelle2016.orig/lib/Tools/scala >+++ Isabelle2016/lib/Tools/scala >@@ -14,4 +14,4 @@ do > done > > isabelle_scala scala "${SCALA_ARGS[@]}" \ >- -classpath "$(platform_path "$ISABELLE_CLASSPATH")" "$@" >+ -classpath "$(platform_path "$ISABELLE_CLASSPATH:$(java-config -p scala-2.11)")" "$@" >Index: Isabelle2016/lib/Tools/scalac >=================================================================== >--- Isabelle2016.orig/lib/Tools/scalac >+++ Isabelle2016/lib/Tools/scalac >@@ -7,5 +7,5 @@ > isabelle_admin_build jars || exit $? > > isabelle_scala scalac -Dfile.encoding=UTF-8 \ >- -classpath "$(platform_path "$ISABELLE_CLASSPATH")" "$@" >+ -classpath "$(platform_path "$ISABELLE_CLASSPATH:$(java-config -p scala-2.11)")" "$@" >
You cannot view the attachment while viewing its details because your browser does not support IFRAMEs.
View the attachment on a separate page
.
View Attachment As Diff
View Attachment As Raw
Actions:
View
|
Diff
Attachments on
bug 602958
:
456520
| 456522 |
456524
|
456526
|
456868
|
457604
|
457606