Problem upon extraction of compressed file

calebegg / proof-pad-classic

An IDE for ACL2

http://proofpad.org

GNU General Public License v3.0

21 stars 4 forks source link

Problem upon extraction of compressed file #77

Open frozenteradactyl opened 5 years ago

frozenteradactyl commented 5 years ago

I am able to download and decompress the compressed file. However when I attempt to open the app, I get a message saying something like the file is corrupted. This happened on OS X Sierra. When I tried to open the app in Windows, the computer just hung and I had to reboot.

robdotson commented 4 years ago

This is also the case in OS X Catalina. Not sure if the problem is due to the unzipping (algorithm) or the app itself.

robdotson commented 4 years ago

I figured out the problem. The JDK the .app is compiled for is 8/9, which had OS X specific APIs which have been removed. The proofpad source will need to be recompiled with a newer version of Java, which doesn't require the OS X specific libraries (which in any case, are no longer needed).