clarified syntax: similar to URL;
authorwenzelm
Fri, 09 Jul 2021 13:46:42 +0200
changeset 74214 74ab1fb470a3
parent 74213 f209845d3a5d
child 74215 0b5e6851c722
clarified syntax: similar to URL;
src/Tools/Setup/isabelle/setup/Build.java
--- a/src/Tools/Setup/isabelle/setup/Build.java	Fri Jul 09 13:41:29 2021 +0200
+++ b/src/Tools/Setup/isabelle/setup/Build.java	Fri Jul 09 13:46:42 2021 +0200
@@ -247,9 +247,9 @@
             {
                 StringBuilder _shasum = new StringBuilder();
                 for (String s : requirements) {
-                    if (s.startsWith("@$")) {
+                    if (s.startsWith("env:")) {
                         List<Path> paths = new LinkedList<Path>();
-                        for (String p : Environment.getenv(s.substring(2)).split(":", -1)) {
+                        for (String p : Environment.getenv(s.substring(4)).split(":", -1)) {
                             if (!p.isEmpty()) {
                                 Path path = Path.of(Environment.platform_path(p));
                                 compiler_deps.add(path);