|
|
|
![]() |
|
Strumenti |
![]() |
#1 |
Member
Iscritto dal: May 2003
Città: Monza
Messaggi: 175
|
Problema con la compilazione di un programma un po' vecchio
Un programma un po' vecchio: ESPRESSO
Ciao a tutti! Avrei una domanda da porre.. per l'università ho dovuto scaricare il programma di sintesi di funzioni logiche a due livelli ESPRESSO, un programma da linea di comando che fondamentalmente serve per sintetizzare la soluzione ottima di reti logiche, partendo dalle tabelle della verità. Sulla rete ho trovato molto poco, poiché l'università di Berkley, la creatrice del programma, a causa di mancanza di fondi, non lo ha più supportato. Sono riuscito a recuperare, tuttavia, i file sorgenti adatti a Unix (e spero anche a Linux, visto che uso quel sistema operativo..). E qui sorge il problema: non riesco a compilare il programma, poiché una volta lanciato make, questo si pianta restituendomi questo output: Making main ... make[1]: Entering directory `/home/stobby/espresso/espresso/main' gcc -O -I../mincov -I../sparse -I../util -c -o verify.o verify.c In file included from verify.c:4: espresso.h:223:9: warning: extra tokens at end of #endif directive verify.c:83:16: macro "strcmp" requires 2 arguments, but only 1 given verify.c: In function `PLA_permute': verify.c:93: called object is not a function make[1]: *** [verify.o] Error 1 make[1]: Leaving directory `/home/stobby/espresso/espresso/main' Making sparse ... make[1]: Entering directory `/home/stobby/espresso/espresso/sparse' make[1]: `libsparse.a' is up to date. make[1]: Leaving directory `/home/stobby/espresso/espresso/sparse' Making mincov ... make[1]: Entering directory `/home/stobby/espresso/espresso/mincov' make[1]: `libmincov.a' is up to date. make[1]: Leaving directory `/home/stobby/espresso/espresso/mincov' Making util ... make[1]: Entering directory `/home/stobby/espresso/espresso/util' gcc -c -O -DBSD -DUNIX getopt.c getopt.c:41:25: macro "strchr" requires 2 arguments, but only 1 given getopt.c: In function `util_getopt': getopt.c:41: warning: built-in function `strchr' declared as non-function getopt.c:56: called object is not a function make[1]: *** [getopt.o] Error 1 make[1]: Leaving directory `/home/stobby/espresso/espresso/util' make: *** [do_make] Error 2 da quello che riesco a leggere... dovrei modificare il file Makefile, tuttavia, sarò sincero, non riesco ad interpretare il messaggio di errore, potreste darmi una mano? Grazie mille! PS: Uso linux Red Hat 9
__________________
Ciao! |
![]() |
![]() |
![]() |
Strumenti | |
|
|
Tutti gli orari sono GMT +1. Ora sono le: 20:57.