mirror of
https://github.com/rn10950/RetroZilla.git
synced 2024-11-14 03:30:17 +01:00
39 lines
760 B
Plaintext
39 lines
760 B
Plaintext
|
#!/bin/csh
|
||
|
|
# makemake: Dumb script to make Makefile from Makefile.in
|
||
|
|
# (recursively, if -r is specified)
|
||
|
|
# Usage: makemake [-r]
|
||
|
|
|
||
|
|
if ($#argv == 0) then
|
||
|
|
set makelist = (./Makefile.in)
|
||
|
|
else
|
||
|
|
set makelist = (`find . -name Makefile.in -print`)
|
||
|
|
endif
|
||
|
|
|
||
|
|
foreach makefile ($makelist)
|
||
|
|
set dir=${makefile:h}
|
||
|
|
pushd $dir
|
||
|
|
|
||
|
|
set wd=`pwd`
|
||
|
|
echo $wd
|
||
|
|
|
||
|
|
set top_srcdir = ""
|
||
|
|
while (("$wd" != "") && (${wd:t} != "mozilla"))
|
||
|
|
if ("$top_srcdir" == "") then
|
||
|
|
set top_srcdir = ".."
|
||
|
|
else
|
||
|
|
set top_srcdir = "../$top_srcdir"
|
||
|
|
endif
|
||
|
|
set wd=${wd:h}
|
||
|
|
end
|
||
|
|
|
||
|
|
/bin/cp Makefile.in Makefile
|
||
|
|
ex -s Makefile << /EOF
|
||
|
|
set nomagic
|
||
|
|
g%@srcdir@%s%@srcdir@%.%gp
|
||
|
|
g%@top_srcdir@%s%@top_srcdir@%${top_srcdir}%gp
|
||
|
|
wq
|
||
|
|
/EOF
|
||
|
|
|
||
|
|
popd
|
||
|
|
end
|