diff options
Diffstat (limited to 'extension/steps')
| -rwxr-xr-x | extension/steps | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/extension/steps b/extension/steps new file mode 100755 index 00000000..61a9e6eb --- /dev/null +++ b/extension/steps @@ -0,0 +1,9 @@ +# what to do under linux to make dl.so +# Tue Nov 24 15:04:14 EST 1998 + +gcc -shared -Wall -DHAVE_CONFIG_H -c -O -g -I.. dl.c +gcc -shared -Wall -DHAVE_CONFIG_H -c -O -g -I.. filefuncs.c +gcc -shared -Wall -DHAVE_CONFIG_H -c -O -g -I.. fork.c +ld -o dl.so -shared dl.o +ld -o filefuncs.so -shared filefuncs.o +ld -o fork.so -shared fork.o |