New function: SB!KERNEL:%MULTIPLY-HIGH
[sbcl.git] / make-config.sh
1 #!/bin/sh
2 set -e
3
4 # The make-config.sh script uses information about the target machine
5 # to set things up for compilation. It's vaguely like a stripped-down
6 # version of autoconf. It's intended to be run as part of make.sh. The
7 # only time you'd want to run it by itself is if you're trying to
8 # cross-compile the system or if you're doing some kind of
9 # troubleshooting.
10
11 # This software is part of the SBCL system. See the README file for
12 # more information.
13 #
14 # This software is derived from the CMU CL system, which was
15 # written at Carnegie Mellon University and released into the
16 # public domain. The software is in the public domain and is
17 # provided with absolutely no warranty. See the COPYING and CREDITS
18 # files for more information.
19
20 case `uname` in
21     Linux)
22         sbcl_os="linux"
23         ;;
24     OSF1)
25         # it's changed name twice since it was called OSF/1: clearly
26         # the marketers forgot to tell the engineers about Digital Unix
27         # _or_ OSF/1 ...
28         sbcl_os="osf1"
29         ;;
30     *BSD)
31         case `uname` in
32             FreeBSD)
33                 sbcl_os="freebsd"
34                 ;;
35             OpenBSD)
36                 sbcl_os="openbsd"
37                 ;;
38             NetBSD)
39                 sbcl_os="netbsd"
40                 ;;
41             *)
42                 echo unsupported BSD variant: `uname`
43                 exit 1
44                 ;;
45         esac
46         ;;
47     Darwin)
48         sbcl_os="darwin"
49         ;;
50     SunOS)
51         sbcl_os="sunos"
52         ;;
53     CYGWIN* | WindowsNT | MINGW*)
54         sbcl_os="win32"
55         ;;
56     HP-UX)
57         sbcl_os="hpux"
58         ;;
59     *)
60         echo unsupported OS type: `uname`
61         exit 1
62         ;;
63 esac
64
65 link_or_copy() {
66    if [ "$sbcl_os" = "win32" ] ; then
67        cp -r "$1" "$2"
68    else
69        ln -s "$1" "$2"
70    fi
71 }
72
73 remove_dir_safely() {
74    if [ "$sbcl_os" = "win32" ] ; then
75         if [ -d "$1" ] ; then
76             rm -rf "$1"
77         elif [ -e "$1" ] ; then
78             echo "I'm afraid to remove non-directory $1."
79             exit 1
80         fi
81     else
82         if [ -h "$1" ] ; then
83             rm "$1"
84         elif [ -w "$1" ] ; then
85             echo "I'm afraid to replace non-symlink $1 with a symlink."
86             exit 1
87         fi
88     fi
89 }
90
91 echo //entering make-config.sh
92
93 echo //ensuring the existence of output/ directory
94 if [ ! -d output ] ; then mkdir output; fi
95
96 ltf=`pwd`/local-target-features.lisp-expr
97 echo //initializing $ltf
98 echo ';;;; This is a machine-generated file.' > $ltf
99 echo ';;;; Please do not edit it by hand.' >> $ltf
100 echo ';;;; See make-config.sh.' >> $ltf
101 printf '(' >> $ltf
102
103 echo //guessing default target CPU architecture from host architecture
104 case `uname -m` in
105     *86) guessed_sbcl_arch=x86 ;;
106     i86pc) guessed_sbcl_arch=x86 ;;
107     *x86_64) guessed_sbcl_arch=x86-64 ;;
108     amd64) guessed_sbcl_arch=x86-64 ;;
109     [Aa]lpha) guessed_sbcl_arch=alpha ;;
110     sparc*) guessed_sbcl_arch=sparc ;;
111     sun*) guessed_sbcl_arch=sparc ;;
112     *ppc) guessed_sbcl_arch=ppc ;;
113     ppc64) guessed_sbcl_arch=ppc ;;
114     Power*Macintosh) guessed_sbcl_arch=ppc ;;
115     parisc) guessed_sbcl_arch=hppa ;;
116     9000/800) guessed_sbcl_arch=hppa ;;
117     mips*) guessed_sbcl_arch=mips ;;
118     *)
119         # If we're not building on a supported target architecture, we
120         # we have no guess, but it's not an error yet, since maybe
121         # target architecture will be specified explicitly below.
122         guessed_sbcl_arch=''
123         ;;
124 esac
125
126 # Under Solaris, uname -m returns "i86pc" even if CPU is amd64.
127 if [ "$sbcl_os" = "sunos" ] && [ `isainfo -k` = "amd64" ]; then
128     guessed_sbcl_arch=x86-64
129 fi
130
131 # Under Darwin, uname -m returns "i386" even if CPU is x86_64.
132 if [ "$sbcl_os" = "darwin" ] && [ "`/usr/sbin/sysctl -n hw.optional.x86_64`" = "1" ]; then
133     guessed_sbcl_arch=x86-64
134 fi
135
136 echo //setting up CPU-architecture-dependent information
137 sbcl_arch=${SBCL_ARCH:-$guessed_sbcl_arch}
138 echo sbcl_arch=\"$sbcl_arch\"
139 if [ "$sbcl_arch" = "" ] ; then
140     echo "can't guess target SBCL architecture, need SBCL_ARCH environment var"
141     exit 1
142 fi
143 printf ":%s" "$sbcl_arch" >> $ltf
144
145 echo //setting up OS-dependent information
146
147 # Under Darwin x86-64, guess whether Darwin 9+ or below.
148 if [ "$sbcl_os" = "darwin" ] && [ "$sbcl_arch" = "x86-64" ]; then
149     darwin_version=`uname -r`
150     darwin_version_major=${DARWIN_VERSION_MAJOR:-${darwin_version%%.*}}
151     if (( 8 < $darwin_version_major )); then
152         printf ' :inode64 :darwin9-or-better' >> $ltf
153     fi
154 fi
155
156 original_dir=`pwd`
157 cd ./src/runtime/
158 rm -f Config target-arch-os.h target-arch.h target-os.h target-lispregs.h
159 # KLUDGE: these two logically belong in the previous section
160 # ("architecture-dependent"); it seems silly to enforce this in terms
161 # of the shell script, though. -- CSR, 2002-02-03
162 link_or_copy $sbcl_arch-arch.h target-arch.h
163 link_or_copy $sbcl_arch-lispregs.h target-lispregs.h
164 case "$sbcl_os" in
165     linux)
166         printf ' :unix' >> $ltf
167         printf ' :elf' >> $ltf
168         printf ' :linux' >> $ltf
169
170         # If you add other platforms here, don't forget to edit
171         # src/runtime/Config.foo-linux too.
172         case "$sbcl_arch" in
173             mips)
174                 printf ' :largefile' >> $ltf
175                 ;;
176             x86 | x86-64)
177                 printf ' :sb-thread :largefile' >> $ltf
178                 ;;
179         esac
180
181         if [ $sbcl_arch = "x86-64" ]; then
182             link_or_copy Config.x86_64-linux Config
183         else
184             link_or_copy Config.$sbcl_arch-linux Config
185         fi
186         link_or_copy $sbcl_arch-linux-os.h target-arch-os.h
187         link_or_copy linux-os.h target-os.h
188         ;;
189     osf1)
190         printf ' :unix' >> $ltf
191         printf ' :elf' >> $ltf
192         printf ' :osf1' >> $ltf
193         link_or_copy Config.$sbcl_arch-osf1 Config
194         link_or_copy $sbcl_arch-osf1-os.h target-arch-os.h
195         link_or_copy osf1-os.h target-os.h
196         ;;
197     hpux)
198         printf ' :unix' >> $ltf
199         printf ' :elf' >> $ltf
200         printf ' :hpux' >> $ltf
201         link_or_copy Config.$sbcl_arch-hpux Config
202         link_or_copy $sbcl_arch-hpux-os.h target-arch-os.h
203         link_or_copy hpux-os.h target-os.h
204         ;;
205     *bsd)
206         printf ' :unix' >> $ltf
207         printf ' :bsd' >> $ltf
208         link_or_copy $sbcl_arch-bsd-os.h target-arch-os.h
209         link_or_copy bsd-os.h target-os.h
210         case "$sbcl_os" in
211             freebsd)
212                 printf ' :elf' >> $ltf
213                 printf ' :freebsd' >> $ltf
214                 printf ' :gcc-tls' >> $ltf
215                 if [ $sbcl_arch = "x86" ]; then
216                     printf ' :restore-tls-segment-register-from-context' >> $ltf
217                 fi
218                 link_or_copy Config.$sbcl_arch-freebsd Config
219                 ;;
220             openbsd)
221                 printf ' :elf' >> $ltf
222                 printf ' :openbsd' >> $ltf
223                 link_or_copy Config.$sbcl_arch-openbsd Config
224                 ;;
225             netbsd)
226                 printf ' :netbsd' >> $ltf
227                 printf ' :elf' >> $ltf
228                 link_or_copy Config.$sbcl_arch-netbsd Config
229                 ;;
230             *)
231                 echo unsupported BSD variant: `uname`
232                 exit 1
233                 ;;
234         esac
235         ;;
236     darwin)
237         printf ' :unix' >> $ltf
238         printf ' :mach-o' >> $ltf
239         printf ' :bsd' >> $ltf
240         printf ' :darwin' >> $ltf
241         if [ $sbcl_arch = "x86" ]; then
242             printf ' :mach-exception-handler :sb-lutex :restore-fs-segment-register-from-tls :ud2-breakpoints' >> $ltf
243         fi
244         if [ $sbcl_arch = "x86-64" ]; then
245             printf ' :mach-exception-handler :sb-lutex :ud2-breakpoints' >> $ltf
246         fi
247         link_or_copy $sbcl_arch-darwin-os.h target-arch-os.h
248         link_or_copy bsd-os.h target-os.h
249         link_or_copy Config.$sbcl_arch-darwin Config
250         ;;
251     sunos)
252         printf ' :unix' >> $ltf
253         printf ' :elf' >> $ltf
254         printf ' :sunos' >> $ltf
255         if [ $sbcl_arch = "x86-64" ]; then
256             printf ' :largefile' >> $ltf
257         fi
258         if [ $sbcl_arch = "x86" ] || [ $sbcl_arch = "x86-64" ]; then
259             printf ' :sb-lutex' >> $ltf
260         fi
261         link_or_copy Config.$sbcl_arch-sunos Config
262         link_or_copy $sbcl_arch-sunos-os.h target-arch-os.h
263         link_or_copy sunos-os.h target-os.h
264         ;;
265     win32)
266         printf ' :win32' >> $ltf
267         link_or_copy Config.$sbcl_arch-win32 Config
268         link_or_copy $sbcl_arch-win32-os.h target-arch-os.h
269         link_or_copy win32-os.h target-os.h
270         ;;
271     *)
272         echo unsupported OS type: `uname`
273         exit 1
274         ;;
275 esac
276 cd "$original_dir"
277
278 # FIXME: Things like :c-stack-grows-..., etc, should be
279 # *derived-target-features* or equivalent, so that there was a nicer
280 # way to specify them then sprinkling them in this file. They should
281 # still be tweakable by advanced users, though, but probably not
282 # appear in *features* of target. #!+/- should be adjusted to take
283 # them in account as well. At minimum the nicer specification stuff,
284 # though:
285 #
286 # (define-feature :dlopen (features)
287 #   (union '(:bsd :linux :darwin :sunos) features))
288 #
289 # (define-feature :c-stack-grows-downwards-not-upwards (features)
290 #   (member :x86 features))
291
292 # KLUDGE: currently the x86 only works with the generational garbage
293 # collector (indicated by the presence of :GENCGC in *FEATURES*) and
294 # alpha, sparc and ppc with the stop'n'copy collector (indicated by
295 # the absence of :GENCGC in *FEATURES*). This isn't a great
296 # separation, but for now, rather than have :GENCGC in
297 # base-target-features.lisp-expr, we add it into local-target-features
298 # if we're building for x86. -- CSR, 2002-02-21 Then we do something
299 # similar with :STACK-GROWS-FOOWARD, too. -- WHN 2002-03-03
300 if [ "$sbcl_arch" = "x86" ]; then
301     printf ' :gencgc :stack-grows-downward-not-upward :c-stack-is-control-stack' >> $ltf
302     printf ' :compare-and-swap-vops :unwind-to-frame-and-call-vop :raw-instance-init-vops' >> $ltf
303     printf ' :stack-allocatable-closures :stack-allocatable-vectors' >> $ltf
304     printf ' :stack-allocatable-lists :stack-allocatable-fixed-objects' >> $ltf
305     printf ' :alien-callbacks :cycle-counter :inline-constants ' >> $ltf
306     printf ' :memory-barrier-vops :multiply-high-vops' >> $ltf
307     case "$sbcl_os" in
308     linux | freebsd | netbsd | openbsd | sunos | darwin | win32)
309         printf ' :linkage-table' >> $ltf
310     esac
311     if [ "$sbcl_os" = "win32" ]; then
312         # of course it doesn't provide dlopen, but there is
313         # roughly-equivalent magic nevertheless.
314         printf ' :os-provides-dlopen' >> $ltf
315     fi
316     if [ "$sbcl_os" = "openbsd" ]; then
317         rm -f src/runtime/openbsd-sigcontext.h
318         sh tools-for-build/openbsd-sigcontext.sh > src/runtime/openbsd-sigcontext.h
319     fi
320 elif [ "$sbcl_arch" = "x86-64" ]; then
321     printf ' :gencgc :stack-grows-downward-not-upward :c-stack-is-control-stack :linkage-table' >> $ltf
322     printf ' :compare-and-swap-vops :unwind-to-frame-and-call-vop :raw-instance-init-vops' >> $ltf
323     printf ' :stack-allocatable-closures :stack-allocatable-vectors' >> $ltf
324     printf ' :stack-allocatable-lists :stack-allocatable-fixed-objects' >> $ltf
325     printf ' :alien-callbacks :cycle-counter :complex-float-vops' >> $ltf
326     printf ' :float-eql-vops :inline-constants :memory-barrier-vops' >> $ltf
327     printf ' :multiply-high-vops' >> $ltf
328 elif [ "$sbcl_arch" = "mips" ]; then
329     printf ' :linkage-table' >> $ltf
330     printf ' :stack-allocatable-closures :stack-allocatable-vectors' >> $ltf
331     printf ' :stack-allocatable-lists :stack-allocatable-fixed-objects' >> $ltf
332     printf ' :alien-callbacks' >> $ltf
333     # Use a little C program to try to guess the endianness.  Ware
334     # cross-compilers!
335     #
336     # FIXME: integrate to grovel-features, mayhaps
337     $GNUMAKE -C tools-for-build determine-endianness -I ../src/runtime
338     tools-for-build/determine-endianness >> $ltf
339 elif [ "$sbcl_arch" = "ppc" ]; then
340     printf ' :gencgc :stack-allocatable-closures :stack-allocatable-lists' >> $ltf
341     printf ' :linkage-table :raw-instance-init-vops :memory-barrier-vops' >> $ltf
342     printf ' :compare-and-swap-vops :multiply-high-vops' >> $ltf
343     if [ "$sbcl_os" = "linux" ]; then
344         # Use a C program to detect which kind of glibc we're building on,
345         # to bandage across the break in source compatibility between
346         # versions 2.3.1 and 2.3.2
347         #
348         # FIXME: integrate to grovel-features, mayhaps
349         $GNUMAKE -C tools-for-build where-is-mcontext -I ../src/runtime
350         tools-for-build/where-is-mcontext > src/runtime/ppc-linux-mcontext.h || (echo "error running where-is-mcontext"; exit 1)
351     elif [ "$sbcl_os" = "darwin" ]; then
352         # We provide a dlopen shim, so a little lie won't hurt
353         printf " :os-provides-dlopen :alien-callbacks" >> $ltf
354         # The default stack ulimit under darwin is too small to run PURIFY.
355         # Best we can do is complain and exit at this stage
356         if [ "`ulimit -s`" = "512" ]; then
357             echo "Your stack size limit is too small to build SBCL."
358             echo "See the limit(1) or ulimit(1) commands and the README file."
359             exit 1
360         fi
361     fi
362 elif [ "$sbcl_arch" = "sparc" ]; then
363     # Test the compiler in order to see if we are building on Sun
364     # toolchain as opposed to GNU binutils, and write the appropriate
365     # FUNCDEF macro for assembler. No harm in running this on sparc-linux
366     # as well.
367     sh tools-for-build/sparc-funcdef.sh > src/runtime/sparc-funcdef.h
368     if [ "$sbcl_os" = "sunos" ] || [ "$sbcl_os" = "linux" ]; then
369         printf ' :linkage-table' >> $ltf
370     fi
371     printf ' :stack-allocatable-closures :stack-allocatable-lists' >> $ltf
372 elif [ "$sbcl_arch" = "alpha" ]; then
373     printf ' :stack-allocatable-closures :stack-allocatable-lists' >> $ltf
374 elif [ "$sbcl_arch" = "hppa" ]; then
375     printf ' :stack-allocatable-vectors :stack-allocatable-fixed-objects' >> $ltf
376     printf ' :stack-allocatable-lists' >> $ltf
377 else
378     # Nothing need be done in this case, but sh syntax wants a placeholder.
379     echo > /dev/null
380 fi
381
382 export sbcl_os sbcl_arch
383 sh tools-for-build/grovel-features.sh >> $ltf
384
385 echo //finishing $ltf
386 echo ')' >> $ltf
387
388 # FIXME: The version system should probably be redone along these lines:
389 #
390 # echo //setting up version information.
391 # versionfile=version.txt
392 # cp base-version.txt $versionfile
393 # echo " (built `date -u` by `whoami`@`hostname`)" >> $versionfile
394 # echo 'This is a machine-generated file and should not be edited by hand.' >> $versionfile
395
396 # Make a unique ID for this build (to discourage people from
397 # mismatching sbcl and *.core files).
398 if [ `uname` = "SunOS" ] ; then
399   # use /usr/xpg4/bin/id instead of /usr/bin/id
400   PATH=/usr/xpg4/bin:$PATH
401 fi
402 echo '"'`hostname`-`id -un`-`date +%Y-%m-%d-%H-%M-%S`'"' > output/build-id.tmp