repo.or.cz
/
maxima.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
Wrap the list of command line options if needed.
[maxima.git]
/
archive
/
bin
/
add-defs
blob
d8b65aa2ca6c5eada0894d7da3f9ec97a4fe5b8e
1
#!/bin/sh
2
# $1 = akcldir
3
# $2 = Makedefs
4
# $3 = makefile to sub into
5
AKCLDIR
=
$1
6
MAKEDEFS
=
$2
7
MAKEFILE
=
$3
8
9
10
11
echo
"@s[# begin makedefs"
>
tmpxx
12
echo
"@s,# end makedefs"
>>
tmpxx
13
echo
"@s|# begin makedefs"
>>
tmpxx
14
# echo "AKCLDIR=$1" >> tmpxx
15
cat
$2
>>
tmpxx
16
echo
"# end makedefs"
>>
tmpxx
17
echo
"@s]"
>>
tmpxx
18
19
$1
/
merge
$3
tmpxx tmp1
20
mv
tmp1
$3
21
22