search

AlloyTools / org.alloytools.alloy

Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switching networks. This repository contains the code for the tool.
Other
695 stars 124 forks source link

Error importing org.alloytools.pardinus.nativesat - URL not found #150

Closed raj-derasari closed 2 years ago

raj-derasari commented 2 years ago

Hi guys.

Reproducing the bug - OS version Windows 10, Java 8 u291, Gradle binary installed. Following build instructions--

  1. Cloned the git repo.
  2. Used Eclipse with a new workspace. Import the Git root directory as project
  3. Installed bndtools
  4. Hope for no bugs and try to build the jar file from the alloytools.dist project

Presumably, at this point I should see no build errors and be able to build the .JAR.

I am seeing (only) the one error with this one package not installing, because the URL is not found.

Error: Download java.io.FileNotFoundException: For Maven artifact org.alloytools:pardinus.nativesat:1.3.0-SNAPSHOT from [RemoteRepo [base=https://oss.sonatype.org/content/groups/osgi/, id=C8046972, user=null]] null bnd.bnd /org.alloytools.alloy.dist line 1 Bndtools Problem Marker

Description Resource Path Location Type Exception: java.lang.NullPointerException at aQute.bnd.osgi.URLResource.open(URLResource.java:67) at aQute.bnd.osgi.URLResource.getBuffer(URLResource.java:46) .........

I might have more information, but don't know what to look for (I'm new to this and Eclipse is a nightmare). I also found in the maven repo that this package with version 1.3.0 was added ~3 months ago Any insights please?

I can see that it can't resolve the org.alloytools.pardinus.nativesat 1.3.0 package - I googled it and it does show in the maven repo. The other pack - org.alloytools.pardinus.core -- installs fine as far as I know.