Remove old references to pepa.zip#287
Merged
Merged
Conversation
Contributor
There was a problem hiding this comment.
Pull request overview
Removes legacy references to pepa.zip after the PEPA compiler was converted to a pepa.jar library, aligning it with other bundled jars and keeping launch/build configurations consistent.
Changes:
- Update PEPA compiler error text to reference
pepa.jar. - Remove explicit
lib/pepa.zipentries from platform launch scripts’ classpaths. - Update Eclipse
.classpathentries frompepa.ziptopepa.jar.
Reviewed changes
Copilot reviewed 3 out of 8 changed files in this pull request and generated 1 comment.
Show a summary per file
| File | Description |
|---|---|
prism/src/pepa/compiler/Main.java |
Updates error message to reference pepa.jar. |
prism/src/bin/xprism.bat.win |
Drops pepa.zip from Windows GUI launcher classpath. |
prism/src/bin/prism.linux |
Drops pepa.zip from Linux launcher classpath. |
prism/src/bin/prism.darwin |
Drops pepa.zip from macOS launcher classpath. |
prism/src/bin/prism.cygwin |
Drops pepa.zip from Cygwin launcher classpath. |
prism/src/bin/prism.bat.win |
Drops pepa.zip from Windows CLI launcher classpath. |
prism/.classpath |
Updates Eclipse project lib reference to lib/pepa.jar. |
.classpath |
Updates top-level Eclipse project lib reference to prism/lib/pepa.jar. |
💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.
Comment on lines
60
to
62
| } catch (ClassNotFoundException cnfe) { | ||
| throw new InternalError("Could not load the PEPA compiler class from pepa.zip"); | ||
| throw new InternalError("Could not load the PEPA compiler class from pepa.jar"); | ||
| } catch (SecurityException se) { |
This was converted to a .jar and treated like other libs in c7e2f9d.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
This was converted to a .jar and treated like other libs in c7e2f9d.