# $Id: makefile,v 1.1 1993/06/17 20:50:11 jtraub Exp $
#
# Soar 6 makefile
#
# Select the header file appropriate for your machine

include make.header.generic

include make.body
