@@ -1250,12 +1250,12 @@ object Build {
12501250 val dottyLib = (`scala3-library` / Compile / classDirectory).value
12511251 // TODO add versions etc.
12521252 def srcManaged (v : String , s : String ) = s " out/bootstrap/stdlib-bootstrapped/scala- $v/src_managed/main/ $s-library-src "
1253- def scalaSrcLink (v : String , s : String ) = s " -source-links: $s = github://scala/scala/v $v#src/library "
1254- def dottySrcLink (v : String , s : String ) =
1253+ def scalaSrcLink (v : String , s : String ) = s " -source-links: ${s} github://scala/scala/v $v#src/library "
1254+ def dottySrcLink (v : String , sourcesPrefix : String = " " , outputPrefix : String = " " ) =
12551255 sys.env.get(" GITHUB_SHA" ) match {
12561256 case Some (sha) =>
1257- s " -source-links: $s = github:// ${sys.env(" GITHUB_REPOSITORY" )}/ $sha#library/src "
1258- case None => s " -source-links: $s = github://lampepfl/dotty/ $v#library/src "
1257+ s " -source-links: ${sourcesPrefix} github:// ${sys.env(" GITHUB_REPOSITORY" )}/ $sha$outputPrefix "
1258+ case None => s " -source-links: ${sourcesPrefix} github://lampepfl/dotty/ $v$outputPrefix "
12591259 }
12601260
12611261 val revision = Seq (" -revision" , ref, " -project-version" , projectVersion)
@@ -1264,9 +1264,9 @@ object Build {
12641264 outDir,
12651265 " -project" ,
12661266 name,
1267- scalaSrcLink(stdLibVersion, srcManaged(dottyNonBootstrappedVersion, " scala" )),
1268- dottySrcLink(referenceVersion, srcManaged(dottyNonBootstrappedVersion, " dotty" )),
1269- s " -source-links:github://lampepfl/dotty/ $ referenceVersion" ,
1267+ scalaSrcLink(stdLibVersion, srcManaged(dottyNonBootstrappedVersion, " scala" ) + " = " ),
1268+ dottySrcLink(referenceVersion, srcManaged(dottyNonBootstrappedVersion, " dotty" ) + " = " , " #library/src " ),
1269+ dottySrcLink( referenceVersion) ,
12701270 ) ++ scalacOptionsDocSettings ++ revision ++ params ++ targets
12711271 import _root_ .scala .sys .process ._
12721272 val escapedCmd = cmd.map(arg => if (arg.contains(" " )) s """ " $arg" """ else arg)
0 commit comments