# HG changeset patch
# User wenzelm
# Date 1625831202 -7200
# Node ID 74ab1fb470a3d30361062c6749d4c3dfebbd3010
# Parent  f209845d3a5d1431dabac9f8c1d6653c3518d24a
clarified syntax: similar to URL;

diff -r f209845d3a5d -r 74ab1fb470a3 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);