Hi Alihan, "the default Macro language 'js' does not exist"
I think you installed / already have a new version of Java, check your version, e.g in Terminal: > java -version if the answer is not like > openjdk version "11.0.19" 2023-04-18 LTS then you should install the older Java 11 version, e.g. from here https://jdk.java.net/archive/ Since you will have now two versions of Java on your machine, you should instruct it to use this older version, e.g. in case of a Mac make hidden files visible > defaults write com.apple.Finder AppleShowAllFiles true > killall Finder find .zshrc under your user or create a new one, and edit it with something like TextEdit / VS Code / nano , cf. https://www.codejava.net/java-se/install-openjdk-18-on-macos after that I would effectuate the changes to .zshrc > source ~/.zshrc then check your > java -version again. (If you have ARM Mac like MacBook M1 or above, you should use the 11.0.19+7 Azul Zulu: 11.64.19 macOS ARM 64-bit v8 Java version from here: https://www.azul.com/downloads/ ) I hope this will help you, P. On Thu, Jun 29, 2023 at 12:57 AM Alihan Serim <[email protected]> wrote: > > Hello, I am new to the Metamath and I was trying to set up the mmj2, however, > I am getting the following error. I did everything said in > https://github.com/digama0/mmj2/blob/master/INSTALL.md. Can someone help? > > -- > 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 on the web visit > https://groups.google.com/d/msgid/metamath/365859a0-cb1f-4335-9e39-cd9b78d070c9n%40googlegroups.com. -- 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 on the web visit https://groups.google.com/d/msgid/metamath/CAJJTU5oFxpd510tv9bS25rsnROHY%2BqKyAwfnmKqfGQGGOLFsLQ%40mail.gmail.com.
