problem when make

Alloy Theoretic Automated Toolkit (ATAT)
1

Hi, everyone,

I was trying to install ATAT, but when I did the first step in the manual, type ‘make’ and the compilation terminated with the following error:

In file included from stringo.cc:1:0:
stringo.h:4:20: fatal error: string.h: No such file or directory
#include <string.h>

I wonder how I can settle this problem.
Thanks

2

Try to make from the main atat/ directory not the atat/src/ directory.
The atat/makefile first configures the installation according to your machine setup.