steve
/
factor
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

mason.source: save git-id in source packages, just like binary packages

release
Slava Pestov 2010-02-15 19:01:19 +13:00
parent 3e5e3a6d3f
commit 97428db921
1 changed files with 10 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
extra/mason/source/source.factor
View File

@ -8,11 +8,17 @@ IN: mason.source
: clone-factor ( -- ) : clone-factor ( -- )
{ "git" "clone" } home "factor" append-path suffix try-process ; { "git" "clone" } home "factor" append-path suffix try-process ;
: save-git-id ( -- )
git-id "git-id" to-file ;
: delete-git-tree ( -- )
".git" delete-tree ;
: download-images ( -- )
images [ download-image ] each ;
: prepare-source ( -- ) : prepare-source ( -- )
"factor" [ "factor" [ save-git-id delete-git-tree download-images ] with-directory ;
".git" delete-tree
images [ download-image ] each
] with-directory ;
: package-name ( version -- string ) : package-name ( version -- string )
"factor-src-" ".zip" surround ; "factor-src-" ".zip" surround ;