Stobby
08-04-2004, 11:56
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 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