mirror of
https://github.com/nasa/trick.git
synced 2025-02-21 09:31:49 +00:00
Replaced our handmade configure script with one created with autoconf. Added a config_user.mk.in file that is populated with the output of a configure. Some platform specific makefile assignments that never change are included in the files config_Darwin.mk and config_Linux.mk. refs #13