Updating to latest rascal and rascal-maven-plugin

cwi-swat · Oct 30, 2024 · 1e51545 · 1e51545
1 parent d88d77f
commit 1e51545
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 4 deletions.
diff --git a/.gitignore b/.gitignore
@@ -1,5 +1,4 @@
 .idea
-Config.rsc
 
 # Files generated for Rascal resources
 src/*.rsc

diff --git a/RELEASE-NOTES.md b/RELEASE-NOTES.md
@@ -0,0 +1,2 @@
+# to be written
+
diff --git a/pom.xml b/pom.xml
@@ -48,7 +48,7 @@
     <dependency>
       <groupId>org.rascalmpl</groupId>
       <artifactId>rascal</artifactId>
-      <version>0.40.4</version>
+      <version>0.40.14</version>
     </dependency>
     <dependency>
       <groupId>edu.appstate.cs</groupId>
@@ -136,9 +136,8 @@
     <plugin>
         <groupId>org.rascalmpl</groupId>
         <artifactId>rascal-maven-plugin</artifactId>
-        <version>0.27.5</version>
+        <version>0.28.8</version>
         <configuration>
-          <errorsAsWarnings>true</errorsAsWarnings>
           <enableStandardLibrary>false</enableStandardLibrary>
           <bin>${project.build.outputDirectory}</bin>
           <srcs>

diff --git a/...main/rascal/lang/php/util/Config.rsc-dist → src/main/rascal/lang/php/util/Config.rsc b/...main/rascal/lang/php/util/Config.rsc-dist → src/main/rascal/lang/php/util/Config.rsc