Torna indietro   Hardware Upgrade Forum > Software > Linux, Unix, OS alternativi

Ecovacs Goat O1200 LiDAR Pro: la prova del robot tagliaerba con tagliabordi integrato
Ecovacs Goat O1200 LiDAR Pro: la prova del robot tagliaerba con tagliabordi integrato
Nuova frontiera per i robot tagliaerba, con Ecovacs GOAT O1200 LiDAR Pro che riconosce l'ambiente in maniera perfetta, grazie a due sensori LiDAR, e dopo la falciatura può anche rifinire il bordo con il tagliabordi a filo integrato
Recensione Samsung Galaxy S26+: sfida l'Ultra, ma ha senso di esistere?
Recensione Samsung Galaxy S26+: sfida l'Ultra, ma ha senso di esistere?
Equilibrio e potenza definiscono il Samsung Galaxy S26+, un flagship che sfida la variante Ultra e la fascia alta del mercato con il primo processore mobile a 2nm. Pur mantenendo l'hardware fotografico precedente, lo smartphone brilla per un display QHD+ da 6,7 pollici d'eccellenza, privo però del trattamento antiriflesso dell'Ultra, e per prestazioni molto elevate. Completano il quadro la ricarica wireless a 20W e, soprattutto, un supporto software settennale
Zeekr X e 7X provate: prezzi, autonomia fino a 615 km e ricarica in 13 minuti
Zeekr X e 7X provate: prezzi, autonomia fino a 615 km e ricarica in 13 minuti
Zeekr sbarca ufficialmente in Italia con tre modelli elettrici premium, X, 7X e 001, distribuiti da Jameel Motors su una rete di 52 punti vendita già attivi. La Zeekr X parte da 39.900 euro, la 7X da 54.100: piattaforma a 800V, chip Snapdragon di ultima generazione, ricarica ultraveloce e un'autonomia dichiarata fino a 615 km WLTP. Le prime consegne sono previste a metà aprile
Tutti gli articoli Tutte le news

Vai al Forum
Rispondi
 
Strumenti
Old 08-04-2004, 11:56   #1
Stobby
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!
Stobby è offline   Rispondi citando il messaggio o parte di esso
 Rispondi


Ecovacs Goat O1200 LiDAR Pro: la prova del robot tagliaerba con tagliabordi integrato Ecovacs Goat O1200 LiDAR Pro: la prova del robot...
Recensione Samsung Galaxy S26+: sfida l'Ultra, ma ha senso di esistere? Recensione Samsung Galaxy S26+: sfida l'Ultra, m...
Zeekr X e 7X provate: prezzi, autonomia fino a 615 km e ricarica in 13 minuti Zeekr X e 7X provate: prezzi, autonomia fino a 6...
Marathon: arriva il Fortnite hardcore Marathon: arriva il Fortnite hardcore
HP Imagine 2026: abbiamo visto HP IQ all’opera, ecco cosa può (e non può) fare HP Imagine 2026: abbiamo visto HP IQ all’opera, ...
Le 10 migliori offerte Amazon di Pasqua:...
Nuove fotografie dagli astronauti di Art...
La toilette della capsula Orion Integrit...
GeForce NOW: ecco tutte le novità in arr...
Il Realme 16 5G debutta sul mercato glob...
HONOR svela tre nuovi tablet: il più int...
Tineco Floor One S9 Master: aspira e pul...
Vivo X300 Ultra, il lancio globale è ini...
Offerte robot aspirapolvere Amazon: ECOV...
L'AI genera codice in 8 minuti e i senio...
Ring Intercom Audio a 44,99€ su Amazon: ...
Apple iPhone 16 crolla a 689€: ecco perc...
Google Pixel 9 a 449,90€ con caricatore ...
Ecco la top 7 delle offerte Amazon, aggi...
Ex ingegnere ammette il sabotaggio: migl...
Chromium
GPU-Z
OCCT
LibreOffice Portable
Opera One Portable
Opera One 106
CCleaner Portable
CCleaner Standard
Cpu-Z
Driver NVIDIA GeForce 546.65 WHQL
SmartFTP
Trillian
Google Chrome Portable
Google Chrome 120
VirtualBox
Tutti gli articoli Tutte le news Tutti i download

Strumenti

Regole
Non Puoi aprire nuove discussioni
Non Puoi rispondere ai messaggi
Non Puoi allegare file
Non Puoi modificare i tuoi messaggi

Il codice vB è On
Le Faccine sono On
Il codice [IMG] è On
Il codice HTML è Off
Vai al Forum


Tutti gli orari sono GMT +1. Ora sono le: 10:05.


Powered by vBulletin® Version 3.6.4
Copyright ©2000 - 2026, Jelsoft Enterprises Ltd.
Served by www3v