github-disk-path ( org/user project -- path )

Vocabulary

build-from-source

Inputs

org/user	an object
project	an object

Outputs

path

an object

Definition

USING: io.pathnames ;

IN: build-from-source

: github-disk-path ( org/user project -- path )
    append-path build-from-source-directory-github prepend-path
    absolute-path ;