Skip to content

Commit

Permalink
build-from-source: no need to initialize a symbol to f
Browse files Browse the repository at this point in the history
  • Loading branch information
mrjbq7 committed May 8, 2024
1 parent 295e6de commit 6335f6e
Showing 1 changed file with 4 additions and 4 deletions.
8 changes: 4 additions & 4 deletions extra/build-from-source/build-from-source.factor
Original file line number Diff line number Diff line change
Expand Up @@ -10,8 +10,8 @@ sorting sorting.human sorting.specification splitting system
unicode ;
IN: build-from-source

INITIALIZED-SYMBOL: use-gitlab-git-uris [ f ]
INITIALIZED-SYMBOL: use-github-git-uris [ f ]
SYMBOL: use-gitlab-git-uris?
SYMBOL: use-github-git-uris?

INITIALIZED-SYMBOL: build-from-source-directory [ "resource:build-from-source/" ]

Expand Down Expand Up @@ -90,7 +90,7 @@ ERROR: no-output-file path ;
: gitlab-https-uri ( base org/user project -- uri ) "https://%s/%s/%s" sprintf ;

: gitlab-uri ( base org/user project -- uri )
use-gitlab-git-uris get [ gitlab-git-uri ] [ gitlab-https-uri ] if ;
use-gitlab-git-uris? get [ gitlab-git-uri ] [ gitlab-https-uri ] if ;

: sync-gitlab-no-checkout-repository ( base org/user project -- )
[ 2drop ] [ gitlab-uri ] [ nipd append-path ] 3tri
Expand Down Expand Up @@ -118,7 +118,7 @@ ERROR: no-output-file path ;
[ build-from-source-directory-github prepend-path dup make-directories ] dip with-directory ; inline

: github-uri ( org/user project -- uri )
use-github-git-uris get [ github-git-uri ] [ github-https-uri ] if ;
use-github-git-uris? get [ github-git-uri ] [ github-https-uri ] if ;

: sync-github-no-checkout-repository ( org/user project -- )
[ drop ] [ github-uri ] [ nip git-directory-name ] 2tri
Expand Down

0 comments on commit 6335f6e

Please sign in to comment.