Email Gateway (Aug 22 2022 at 20:51): Email Gateway (Aug 22 2022 at 20:51):From: Jaap Boender <jaapb@kerguelen.org>
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.Inv
[message truncated]
Last updated: Apr 25 2024 at 04:18 UTC