search

javalib-team / sawja

Sawja provides a high level representation of Java bytecode programs and static analysis tools.
GNU General Public License v3.0
11 stars 4 forks source link

sawja.1.5.11/configure.sh contains wrong bash path: /bin/bash #9

Open yurivict opened 1 year ago

yurivict commented 1 year ago 
-> retrieved sawja.1.5.11  (cached)
[ERROR] Actions cancelled because of a system error:
/usr/local/bin/opam: "create_process" failed on /usr/home/yuri/.opam/4.14.0+flambda/.opam-switch/build/sawja.1.5.11/./configure.sh: No such file or directory
Fatal error:
/usr/local/bin/opam: "create_process" failed on /usr/home/yuri/.opam/4.14.0+flambda/.opam-switch/build/sawja.1.5.11/./configure.sh: No such file or directory

I can see that you have this fixed in the master branch, but why is the fix not released?

davidpichardie commented 1 year ago

Opam release expected very soon. Thanks for the reminder and sorry for the delays.