This commit is contained in:
		
							parent
							
								
									4eec75b71d
								
							
						
					
					
						commit
						0b8d565dac
					
				
					 2 changed files with 7 additions and 5 deletions
				
			
		| 
						 | 
					@ -1 +1 @@
 | 
				
			||||||
30/1/2025................
 | 
					30/1/2025.................
 | 
				
			||||||
| 
						 | 
					@ -60,10 +60,12 @@ archive:update($jar,$name,$file)
 | 
				
			||||||
declare variable $build:REPO as xs:string external :="https://repo1.maven.org/maven2/";
 | 
					declare variable $build:REPO as xs:string external :="https://repo1.maven.org/maven2/";
 | 
				
			||||||
declare function build:maven-download($urls as xs:string*,$destdir as xs:string)
 | 
					declare function build:maven-download($urls as xs:string*,$destdir as xs:string)
 | 
				
			||||||
as empty-sequence(){
 | 
					as empty-sequence(){
 | 
				
			||||||
for $f in $urls
 | 
					    file:create-dir($destdir),    
 | 
				
			||||||
let $dest:=$destdir || replace($f,"^.*/","") 
 | 
					    for $f in $urls
 | 
				
			||||||
where not(file:exists($dest))
 | 
					    let $dest:=$destdir || replace($f,"^.*/","") 
 | 
				
			||||||
return build:write-binary($dest, fetch:binary(resolve-uri($f,$build:REPO)=>trace("Download: ")))
 | 
					    where not(file:exists($dest))
 | 
				
			||||||
 | 
					    return build:write-binary($dest, fetch:binary(resolve-uri($f,$build:REPO)
 | 
				
			||||||
 | 
					           =>trace("Download: ")))
 | 
				
			||||||
};
 | 
					};
 | 
				
			||||||
 | 
					
 | 
				
			||||||
declare function build:write-binary($dest as xs:string,$contents)
 | 
					declare function build:write-binary($dest as xs:string,$contents)
 | 
				
			||||||
| 
						 | 
					
 | 
				
			||||||
		Loading…
	
	Add table
		
		Reference in a new issue