2 * This software is part of the SBCL system. See the README file for
5 * This software is derived from the CMU CL system, which was
6 * written at Carnegie Mellon University and released into the
7 * public domain. The software is in the public domain and is
8 * provided with absolutely no warranty. See the COPYING and CREDITS
9 * files for more information.
16 #if !defined(_INCLUDE_VALIDATE_H_)
17 #define _INCLUDE_VALIDATE_H_
20 #include "hppa-validate.h"
24 #include "mips-validate.h"
28 #include "rt-validate.h"
32 #include "sparc-validate.h"
36 #include "x86-validate.h"
40 #include "alpha-validate.h"
43 extern void validate(void);