I finally finished reading through the metamath-lamp guide <https://lamp-guide.metamath.org/> and made a new mathbox in my forked repository, along with a first theorem! I then tried to run "scripts/rewrap set.mm" in Terminal but I got this error: line 8: metamath: command not found I assume this means I have to install metamath-exe? I downloaded it and tried to run "gcc *.c -o metamath" but got another error: zsh: no matches found: *.c Does this mean I don't have GCC and need to download it? Or is there a way to validate and format without it (preferably without metamath-exe entirely)?
On Thu, Jan 16, 2025 at 7:12 PM Jim Kingdon <[email protected]> wrote: > I'm running mmj2 using Java 11 via the PopOS package openjdk-11-jdk (which > is probably the same as the Ubuntu package of the same name). > > But if LAMP is working for you, so much the easier. > > > On January 16, 2025 1:37:15 PM PST, Noam Pasman <[email protected]> > wrote: > >> I think the Java version might have been the issue. I'll look into it >> more closely if I want to go back to mmj2, but for now I'll think I'll just >> use metamath-lamp. It's been much easier to get the hang of so far. >> >> On Thu, Jan 16, 2025 at 1:23 PM 'Alexander van der Vekens' via Metamath < >> [email protected]> wrote: >> >>> Which Java version do you use? There were always problems with versions >>> higher than 8 (search for "JDK" in this Google group). So maybe you should >>> use JDK 8. >>> >>> [email protected] schrieb am Donnerstag, 16. Januar 2025 um 16:55:56 >>> UTC+1: >>> >>> I switched to using that script and got it to work, but now I think I'm >>> getting an error on the version of Java Runtime that I have? I'm not really >>> sure what this means: >>> >>> Exception in thread "main" java.lang.UnsupportedClassVersionError: >>> mmj/util/BatchMMJ2 has been compiled by a more recent version of the Java >>> Runtime (class file version 55.0), this version of the Java Runtime only >>> recognizes class file versions up to 52.0 >>> at java.lang.ClassLoader.defineClass1(Native Method) >>> at java.lang.ClassLoader.defineClass(ClassLoader.java:756) >>> at >>> java.security.SecureClassLoader.defineClass(SecureClassLoader.java:142) >>> at java.net.URLClassLoader.defineClass(URLClassLoader.java:473) >>> at java.net.URLClassLoader.access$100(URLClassLoader.java:74) >>> at java.net.URLClassLoader$1.run(URLClassLoader.java:369) >>> at java.net.URLClassLoader$1.run(URLClassLoader.java:363) >>> at java.security.AccessController.doPrivileged(Native Method) >>> at java.net.URLClassLoader.findClass(URLClassLoader.java:362) >>> at java.lang.ClassLoader.loadClass(ClassLoader.java:418) >>> at sun.misc.Launcher$AppClassLoader.loadClass(Launcher.java:359) >>> at java.lang.ClassLoader.loadClass(ClassLoader.java:351) >>> at sun.launcher.LauncherHelper.checkAndLoadMain(LauncherHelper.java:641) >>> >>> -- >>> You received this message because you are subscribed to the Google >>> Groups "Metamath" group. >>> To unsubscribe from this group and stop receiving emails from it, send >>> an email to [email protected]. >>> To view this discussion visit >>> https://groups.google.com/d/msgid/metamath/cb47d3bb-bb33-4e81-8746-dd34e237ff54n%40googlegroups.com >>> <https://groups.google.com/d/msgid/metamath/cb47d3bb-bb33-4e81-8746-dd34e237ff54n%40googlegroups.com?utm_medium=email&utm_source=footer> >>> . >>> >> -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion visit https://groups.google.com/d/msgid/metamath/CABJcXbSgCBee_uKn9qbb8iiR9_5VXWdweQQVEQqGZbYwHPHhxQ%40mail.gmail.com.
