Install Ultimate on Mac #605
Comments
|
I checked the pom.xml file and found lexer and parser files are generated automatically from the flex file. Do I need to install some tools for this? |
|
Hi! Did you follow the setup instructions in our wiki and install the tools mentioned there? And if so, did you encounter problems with any of the steps? |
Hi, yes, I followed the wiki instructions. Now the only issue is some Lexer.java and Parser.java files cannot be generated successfully, which leads to the errors in 4 or 5 packages |
|
|
For example, compiling the package: AutomataScriptParser, I got the following: Buildfile: /ultimate/trunk/source/AutomataScriptParser/src/de/uni_freiburg/informatik/ultimate/plugins/source/automatascriptparser/build-parser.xml BUILD FAILED Total time: 105 milliseconds |
|
It's hard to debug these things remotely. But from that message, the Java version could be an issue? We currently only support building Ultimate on JDK 11 to JDK 14; newer versions change some of the security concepts in Java. |
Thanks a lot. I found another issue with the Mac platform. When a variable is defined with "var", the eclipse reported an error and asked to change to Java 10 for compilation. |
I doubt this is Mac-related. It sounds like Eclipse is targeting some older Java version. You can try the following:
|
Thanks, could you please send me the link of jdk 11 that you downloaded to make sure I use the same package with you. |
|
I just installed |
|
Ah. OK, I use oracle jdk. is it different from openjdk? |
|
Moreover, I found the file MANIFEST.MF in ACSLParser, it has one line: So my eclispe loads javaSE-1.8 instead of JAVASE-1.1. I don't know why two packages use two different jre library |
In general, I don't think it should make a difference. But who knows... Specifically, the error about the |
Thanks a lot. But I encountered other problems. (1) when it has: "Import-Package: com.sun.xml.bind.v2;version="2.2.0"" , an error is reported: No available bundle exports package 'com.sun.xml.bind.v2' (2) when it has: "Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core, What problems could be? I tried to download the jar package for com.sun.xml.bind.v2 and imported it to the project, it solved the problem. I don't think it's the best way. |
|
I fixed all the compilation errors. Still one problem when I try to run Automizer. The error is the following: java.lang.NullPointerException what problems could be? |
|
Can you give us some information to reproduce this? How did you run Automizer, on which input, etc. ? |
I cannot start the developer GUI in Eclipse. I opened Debug-E4.product, clicked "Synchronize", and then "launched an Eclipse application", then the errors jumped out. I have configured the path in the run configuration. I copied the full error message below: java.lang.NullPointerException org.osgi.framework.BundleException: Error starting module. osgi.identity; osgi.identity="org.eclipse.ui.workbench"; type="osgi.bundle"; version:Version="3.120.0.v20200829-1411"; singleton:="true" [id=156] |
|
I solve the application problem. Everything works well now. Thanks a lot for your help. I give a hint here. When trying to start the eclipse graphic UI in macOS, the plug-in: org.eclipse.swt.cocoa.macosx.x86_64 should be selected. |
|
@maul-esel Using Taipan (taipan) as toolname I believe it is a problem with macOS. Could you give some hints to modify makeFresh.sh to adopt it to macOS. |
|
Great to hear that you got it to build 🎉 Regarding
|
Thanks, I tried to modify the these files and rebuild a mac version. But still got the following error. Please help to have a look when you are available:
|
|
Hi @ShlKan, your latest issue has recently been solved in the merged pull request #630. Note that the script for a full release build is currently not prepared to support macOS. As soon as I have time, I will integrate the macOS build into the release script. Nevertheless, you should now be able to build Ultimate from scratch according to the instructions mentioned in pull request #630. |
|
Thanks a lot. Super helpful. |
I tried to configure the eclipse development environment on MAC, but the project failed to compile.
One problem is: Lexer cannot be resolved as a type in the following code.
private Unit reflectiveParse(final String fileName) throws IOException {
final BoogieSymbolFactory symFactory = new BoogieSymbolFactory();
final Lexer lexer = new Lexer(new FileInputStream(fileName));
lexer.setSymbolFactory(symFactory);
final Parser parser = new Parser(lexer, symFactory, mServices);
parser.setFileName(fileName);
try {
return (Unit) parser.parse().value;
} catch (final Exception e) {
mLogger.fatal("syntax error: ", e);
throw new RuntimeException(e);
}
Is there anyone who has tried to install Ultimate on mac, can help me with this？
The text was updated successfully, but these errors were encountered: