builder: Add support for gmake
parent
ea12d45337
commit
2d80153b07
|
@ -48,13 +48,29 @@ IN: builder
|
||||||
|
|
||||||
: record-git-id ( -- ) git-id "../git-id" utf8 [ . ] with-file-writer ;
|
: record-git-id ( -- ) git-id "../git-id" utf8 [ . ] with-file-writer ;
|
||||||
|
|
||||||
: do-make-clean ( -- ) { "make" "clean" } try-process ;
|
! !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
|
||||||
|
|
||||||
|
: gnu-make ( -- string )
|
||||||
|
os { "freebsd" "openbsd" "netbsd" } member?
|
||||||
|
[ "gmake" ]
|
||||||
|
[ "make" ]
|
||||||
|
if ;
|
||||||
|
|
||||||
|
! : do-make-clean ( -- ) { "make" "clean" } try-process ;
|
||||||
|
|
||||||
|
: do-make-clean ( -- ) { gnu-make "clean" } to-strings try-process ;
|
||||||
|
|
||||||
! !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
|
! !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
|
||||||
|
|
||||||
|
! : make-vm ( -- desc )
|
||||||
|
! <process>
|
||||||
|
! { "make" } >>command
|
||||||
|
! "../compile-log" >>stdout
|
||||||
|
! +stdout+ >>stderr ;
|
||||||
|
|
||||||
: make-vm ( -- desc )
|
: make-vm ( -- desc )
|
||||||
<process>
|
<process>
|
||||||
{ "make" } >>command
|
{ gnu-make } to-strings >>command
|
||||||
"../compile-log" >>stdout
|
"../compile-log" >>stdout
|
||||||
+stdout+ >>stderr ;
|
+stdout+ >>stderr ;
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue