[isabelle] Isabelle under NetBSD Linux emulation



Hi list,

I'm trying to get Isabelle running under NetBSD with the Linux emulation layer (at first I thought to compile a native version, but after the mails about FreeBSD on the -dev mailing list a few months ago I figured that might not be terribly wise); I've got things to the point where jEdit shows up, but the Isabelle plugin doesn't load and gives the error printed below instead. The problem seems to be that the Linux emulation under NetBSD doesn't support epoll.

Is there any way to disable the particular Isabelle component that generates this error, or get around the problem in any other way?

Thanks,

  Jaap

--- error: ---
11:25:04 AM [AWT-EventQueue-0] [error] PluginJAR: Error while starting plugin isabelle.jedit.Plugin 11:25:04 AM [AWT-EventQueue-0] [error] PluginJAR: java.io.IOException: Function not implemented 11:25:04 AM [AWT-EventQueue-0] [error] PluginJAR: at java.base/sun.nio.ch.EPoll.create(Native Method) 11:25:04 AM [AWT-EventQueue-0] [error] PluginJAR: at java.base/sun.nio.ch.EPollSelectorImpl.<init>(EPollSelectorImpl.java:79) 11:25:04 AM [AWT-EventQueue-0] [error] PluginJAR: at java.base/sun.nio.ch.EPollSelectorProvider.openSelector(EPollSelectorProvider.java:36) 11:25:04 AM [AWT-EventQueue-0] [error] PluginJAR: at java.base/java.nio.channels.Selector.open(Selector.java:295) 11:25:04 AM [AWT-EventQueue-0] [error] PluginJAR: at jdk.httpserver/sun.net.httpserver.ServerImpl.<init>(ServerImpl.java:104) 11:25:04 AM [AWT-EventQueue-0] [error] PluginJAR: at jdk.httpserver/sun.net.httpserver.HttpServerImpl.<init>(HttpServerImpl.java:50) 11:25:04 AM [AWT-EventQueue-0] [error] PluginJAR: at jdk.httpserver/sun.net.httpserver.DefaultHttpServerProvider.createHttpServer(DefaultHttpServerProvider.java:35) 11:25:04 AM [AWT-EventQueue-0] [error] PluginJAR: at jdk.httpserver/com.sun.net.httpserver.HttpServer.create(HttpServer.java:137) 11:25:04 AM [AWT-EventQueue-0] [error] PluginJAR: at isabelle.HTTP$.server(http.scala:122) 11:25:04 AM [AWT-EventQueue-0] [error] PluginJAR: at isabelle.jedit.Plugin.<init>(plugin.scala:440) 11:25:04 AM [AWT-EventQueue-0] [error] PluginJAR: at java.base/jdk.internal.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method) 11:25:04 AM [AWT-EventQueue-0] [error] PluginJAR: at java.base/jdk.internal.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62) 11:25:04 AM [AWT-EventQueue-0] [error] PluginJAR: at java.base/jdk.internal.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45) 11:25:04 AM [AWT-EventQueue-0] [error] PluginJAR: at java.base/java.lang.reflect.Constructor.newInstance(Constructor.java:490) 11:25:04 AM [AWT-EventQueue-0] [error] PluginJAR: at java.base/java.lang.Class.newInstance(Class.java:584) 11:25:04 AM [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.PluginJAR.activatePlugin(PluginJAR.java:933) 11:25:04 AM [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.JARClassLoader._loadClass(JARClassLoader.java:392) 11:25:04 AM [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.JARClassLoader.loadClass(JARClassLoader.java:109) 11:25:04 AM [AWT-EventQueue-0] [error] PluginJAR: at java.base/java.lang.ClassLoader.loadClass(ClassLoader.java:521) 11:25:04 AM [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.bsh.classpath.ClassManagerImpl.classForName(ClassManagerImpl.java:204) 11:25:04 AM [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.bsh.NameSpace.classForName(NameSpace.java:1319) 11:25:04 AM [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.bsh.NameSpace.getClassImpl(NameSpace.java:1219) 11:25:04 AM [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.bsh.NameSpace.getClass(NameSpace.java:1160) 11:25:04 AM [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.bsh.Name.consumeNextObjectField(Name.java:298) 11:25:04 AM [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.bsh.Name.toObject(Name.java:199) 11:25:04 AM [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.bsh.BSHAmbiguousName.toObject(BSHAmbiguousName.java:60) 11:25:04 AM [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.bsh.BSHAllocationExpression.objectAllocation(BSHAllocationExpression.java:86) 11:25:04 AM [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.bsh.BSHAllocationExpression.eval(BSHAllocationExpression.java:62) 11:25:04 AM [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.bsh.BSHPrimaryExpression.eval(BSHPrimaryExpression.java:102) 11:25:04 AM [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.bsh.BSHPrimaryExpression.eval(BSHPrimaryExpression.java:47) 11:25:04 AM [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.bsh.Interpreter.eval(Interpreter.java:644) 11:25:04 AM [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.bsh.Interpreter.eval(Interpreter.java:738) 11:25:04 AM [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.bsh.Interpreter.eval(Interpreter.java:727) 11:25:04 AM [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.BeanShellFacade._eval(BeanShellFacade.java:153) 11:25:04 AM [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.BeanShellFacade.eval(BeanShellFacade.java:117) 11:25:04 AM [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.BeanShell.eval(BeanShell.java:382) 11:25:04 AM [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.ServiceManager$Descriptor.getInstance(ServiceManager.java:345) 11:25:04 AM [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.ServiceManager.getService(ServiceManager.java:270) 11:25:04 AM [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.GUIUtilities.getServiceContextMenuItems(GUIUtilities.java:381) 11:25:04 AM [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.GUIUtilities.loadPopupMenu(GUIUtilities.java:349) 11:25:04 AM [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.GUIUtilities.loadPopupMenu(GUIUtilities.java:286) 11:25:04 AM [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.textarea.JEditTextArea.createPopupMenu(JEditTextArea.java:477) 11:25:04 AM [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.EditPane.propertiesChanged(EditPane.java:968) 11:25:04 AM [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.EditPane.<init>(EditPane.java:841) 11:25:04 AM [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.View.createEditPane(View.java:2007) 11:25:04 AM [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.View.createEditPane(View.java:2002) 11:25:04 AM [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.View.restoreSplitConfig(View.java:1817) 11:25:04 AM [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.View.setSplitConfig(View.java:891) 11:25:04 AM [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.View.<init>(View.java:1355) 11:25:04 AM [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.jEdit.newView(jEdit.java:2727) 11:25:04 AM [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.PerspectiveManager$PerspectiveHandler.endElement(PerspectiveManager.java:374) 11:25:04 AM [AWT-EventQueue-0] [error] PluginJAR: at java.xml/com.sun.org.apache.xerces.internal.parsers.AbstractSAXParser.endElement(AbstractSAXParser.java:610) 11:25:04 AM [AWT-EventQueue-0] [error] PluginJAR: at java.xml/com.sun.org.apache.xerces.internal.impl.dtd.XMLNSDTDValidator.endNamespaceScope(XMLNSDTDValidator.java:226) 11:25:04 AM [AWT-EventQueue-0] [error] PluginJAR: at java.xml/com.sun.org.apache.xerces.internal.impl.dtd.XMLDTDValidator.handleEndElement(XMLDTDValidator.java:1934) 11:25:04 AM [AWT-EventQueue-0] [error] PluginJAR: at java.xml/com.sun.org.apache.xerces.internal.impl.dtd.XMLDTDValidator.endElement(XMLDTDValidator.java:865) 11:25:04 AM [AWT-EventQueue-0] [error] PluginJAR: at java.xml/com.sun.org.apache.xerces.internal.impl.XMLDocumentFragmentScannerImpl.scanEndElement(XMLDocumentFragmentScannerImpl.java:1718) 11:25:04 AM [AWT-EventQueue-0] [error] PluginJAR: at java.xml/com.sun.org.apache.xerces.internal.impl.XMLDocumentFragmentScannerImpl$FragmentContentDriver.next(XMLDocumentFragmentScannerImpl.java:2883) 11:25:04 AM [AWT-EventQueue-0] [error] PluginJAR: at java.xml/com.sun.org.apache.xerces.internal.impl.XMLDocumentScannerImpl.next(XMLDocumentScannerImpl.java:605) 11:25:04 AM [AWT-EventQueue-0] [error] PluginJAR: at java.xml/com.sun.org.apache.xerces.internal.impl.XMLNSDocumentScannerImpl.next(XMLNSDocumentScannerImpl.java:112) 11:25:04 AM [AWT-EventQueue-0] [error] PluginJAR: at java.xml/com.sun.org.apache.xerces.internal.impl.XMLDocumentFragmentScannerImpl.scanDocument(XMLDocumentFragmentScannerImpl.java:534) 11:25:04 AM [AWT-EventQueue-0] [error] PluginJAR: at java.xml/com.sun.org.apache.xerces.internal.parsers.XML11Configuration.parse(XML11Configuration.java:888) 11:25:04 AM [AWT-EventQueue-0] [error] PluginJAR: at java.xml/com.sun.org.apache.xerces.internal.parsers.XML11Configuration.parse(XML11Configuration.java:824) 11:25:04 AM [AWT-EventQueue-0] [error] PluginJAR: at java.xml/com.sun.org.apache.xerces.internal.parsers.XMLParser.parse(XMLParser.java:141) 11:25:04 AM [AWT-EventQueue-0] [error] PluginJAR: at java.xml/com.sun.org.apache.xerces.internal.parsers.AbstractSAXParser.parse(AbstractSAXParser.java:1216) 11:25:04 AM [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.util.XMLUtilities.parseXML(XMLUtilities.java:140) 11:25:04 AM [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.SettingsXML.load(SettingsXML.java:155) 11:25:04 AM [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.PerspectiveManager.loadPerspective(PerspectiveManager.java:104) 11:25:04 AM [AWT-EventQueue-0] [error] PluginJAR: at org.gjt.sp.jedit.jEdit$9.run(jEdit.java:4368) 11:25:04 AM [AWT-EventQueue-0] [error] PluginJAR: at java.desktop/java.awt.event.InvocationEvent.dispatch(InvocationEvent.java:313) 11:25:04 AM [AWT-EventQueue-0] [error] PluginJAR: at java.desktop/java.awt.EventQueue.dispatchEventImpl(EventQueue.java:770) 11:25:04 AM [AWT-EventQueue-0] [error] PluginJAR: at java.desktop/java.awt.EventQueue$4.run(EventQueue.java:721) 11:25:04 AM [AWT-EventQueue-0] [error] PluginJAR: at java.desktop/java.awt.EventQueue$4.run(EventQueue.java:715) 11:25:04 AM [AWT-EventQueue-0] [error] PluginJAR: at java.base/java.security.AccessController.doPrivileged(Native Method) 11:25:04 AM [AWT-EventQueue-0] [error] PluginJAR: at java.base/java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:85) 11:25:04 AM [AWT-EventQueue-0] [error] PluginJAR: at java.desktop/java.awt.EventQueue.dispatchEvent(EventQueue.java:740) 11:25:04 AM [AWT-EventQueue-0] [error] PluginJAR: at java.desktop/java.awt.EventDispatchThread.pumpOneEventForFilters(EventDispatchThread.java:203) 11:25:04 AM [AWT-EventQueue-0] [error] PluginJAR: at java.desktop/java.awt.EventDispatchThread.pumpEventsForFilter(EventDispatchThread.java:124) 11:25:04 AM [AWT-EventQueue-0] [error] PluginJAR: at java.desktop/java.awt.EventDispatchThread.pumpEventsForHierarchy(EventDispatchThread.java:113) 11:25:04 AM [AWT-EventQueue-0] [error] PluginJAR: at java.desktop/java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:109) 11:25:04 AM [AWT-EventQueue-0] [error] PluginJAR: at java.desktop/java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:101) 11:25:04 AM [AWT-EventQueue-0] [error] PluginJAR: at java.desktop/java.awt.EventDispatchThread.run(EventDispatchThread.java:90) 11:25:04 AM [AWT-EventQueue-0] [error] ErrorListDialog$ErrorEntry: /home/jaapb/Isabelle2019/src/Tools/jEdit/dist/jars/Isabelle-jEdit.jar: 11:25:04 AM [AWT-EventQueue-0] [error] ErrorListDialog$ErrorEntry: Cannot start:
 java.io.IOException: Function not implemented






This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.