>>>>> "Aaron" == Aaron Benjamin Frank <[email protected]> writes:
Aaron> Chris, My colleagues and I had similar problems as well. We Aaron> found that adding the following to the last line of the manifest Aaron> cleared it up: Aaron> NetLogo-Version: 5.0.5 (or whatever version you developed for) The important thing is to have the line that states the NetLogo-Extension-API-Version. Note also that the API version should be given just as 5.0, not any specific 5.0.x version. (All of the 5.0.x releases share the same API version, 5.0.) Adding a "NetLogo-Version" line doesn't do anything... or shouldn't. Any such line is ignored by NetLogo. If it were needed, it would say so at https://github.com/NetLogo/NetLogo/wiki/Extensions-API . But if this advice is incorrect, why have two people now stated that it made their extension work? It's because in a valid manifest file, every line must be terminated with a newline character. If the last line isn't terminated that way, it will be ignored. So if the last line of the manifest is the "NetLogo-Extension-API-Version" line and is unterminated, the line is ignored. (This is just how manifests on the JVM work; it's not NetLogo-specific.) But if you add another line -- containing anything at all, terminated or unterminated -- afterwards, then the API version line is now properly terminated and will be recognized. But it isn't the presence of the last line that's making it work; rather, it's the presence of the newline character on the next-to-last line. https://github.com/NetLogo/NetLogo/wiki/Extensions-API actually does say "Make sure even the last line ends with a newline character", but apparently the advice is commonly missed or ignored. -- Seth Tisue | Northwestern University | http://tisue.net developer, NetLogo: http://ccl.northwestern.edu/netlogo/ -- You received this message because you are subscribed to the Google Groups "netlogo-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/groups/opt_out.
