Sono nuovo del forum e ho poca esperienza con linux.
Ho dei problemi ad installare GRASP, programma che serve per determinare la soddisfacibilità di una formula booleana.
Ho provato ad usare il comando make ma il risultato è questo:
Codice: Seleziona tutto
sed '/^#--DO NOT CHANGE ANYTHING AFTER THIS LINE/,$d' Makefile >mktemp
echo '#--DO NOT CHANGE ANYTHING AFTER THIS LINE' >>mktemp
g++ -M array.cc darray.cc memory.cc random.cc switches.cc utils.cc id_list.cc cnf_Parser2.cc fgrp_BCA.cc fgrp_BCP.cc fgrp_CDB.cc fgrp_Configure.cc fgrp_DecisionEng.cc fgrp_DeductionEng.cc fgrp_DiagnosisEng.cc fgrp_Mode.cc fgrp_Partition.cc fgrp_SAT.cc fgrp_STS.cc printman.cc sat-grasp.cc >>mktemp
darray.hh:19:22: fatal error: iostream.h: File o directory non esistente
compilation terminated.
memory.cc:15:22: fatal error: iostream.h: File o directory non esistente
compilation terminated.
switches.cc:17:22: fatal error: iostream.h: File o directory non esistente
compilation terminated.
utils.cc:15:22: fatal error: iostream.h: File o directory non esistente
compilation terminated.
darray.hh:19:22: fatal error: iostream.h: File o directory non esistente
compilation terminated.
cnf_Parser2.cc:19:21: fatal error: fstream.h: File o directory non esistente
compilation terminated.
fgrp_Mode.hh:16:22: fatal error: iostream.h: File o directory non esistente
compilation terminated.
fgrp_CDB.hh:16:22: fatal error: iostream.h: File o directory non esistente
compilation terminated.
fgrp_CDB.cc:16:22: fatal error: iostream.h: File o directory non esistente
compilation terminated.
list.hh:20:22: fatal error: iostream.h: File o directory non esistente
compilation terminated.
sorted_list.hh:19:21: fatal error: fstream.h: File o directory non esistente
compilation terminated.
fgrp_DeductionEng.hh:20:22: fatal error: iostream.h: File o directory non esistente
compilation terminated.
fgrp_Mode.hh:16:22: fatal error: iostream.h: File o directory non esistente
compilation terminated.
fgrp_Mode.hh:16:22: fatal error: iostream.h: File o directory non esistente
compilation terminated.
list.hh:20:22: fatal error: iostream.h: File o directory non esistente
compilation terminated.
fgrp_Mode.hh:16:22: fatal error: iostream.h: File o directory non esistente
compilation terminated.
printman.cc:3:22: fatal error: iostream.h: File o directory non esistente
compilation terminated.
sat-grasp.cc:17:22: fatal error: iostream.h: File o directory non esistente
compilation terminated.
make: *** [depend] Errore 1
