gnu: openjdk11: Fix ".so" file path patching.
* gnu/packages/java.scm (openjdk11)[arguments]<#:phases>[patch-jni-libs]: Fix ".so" file path patching. Change-Id: If705ef237a2afe537af41227479cd2f91efe5ae2master
parent
b993bfa94f
commit
f93d86aaaf
|
@ -1298,10 +1298,10 @@ new Date();"))
|
||||||
(catch 'decoding-error
|
(catch 'decoding-error
|
||||||
(lambda ()
|
(lambda ()
|
||||||
(substitute* file
|
(substitute* file
|
||||||
(("VERSIONED_JNI_LIB_NAME\\(\"(.*)\", \"(.*)\"\\)"
|
(("VERSIONED_JNI_LIB_NAME\\(\"([^\"]*)\", \"([^\"]*)\"\\)"
|
||||||
_ name version)
|
_ name version)
|
||||||
(string-append "\"" (find-library name) "\""))
|
(string-append "\"" (find-library name) "\""))
|
||||||
(("JNI_LIB_NAME\\(\"(.*)\"\\)" _ name)
|
(("JNI_LIB_NAME\\(\"([^\"]*)\"\\)" _ name)
|
||||||
(string-append "\"" (find-library name) "\""))))
|
(string-append "\"" (find-library name) "\""))))
|
||||||
(lambda _
|
(lambda _
|
||||||
;; Those are safe to skip.
|
;; Those are safe to skip.
|
||||||
|
|
Reference in New Issue