# $Id: makefile,v 0.1 1993/06/17 19:56:57 jtraub Exp jtraub $
#
# Soar 6 makefile
#
# Select the header file appropriate for your machine

include make.header.generic

include make.body
