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

Intervista a Stop Killing Games: distruggere videogiochi è come bruciare la musica di Mozart
Intervista a Stop Killing Games: distruggere videogiochi è come bruciare la musica di Mozart
Mentre Ubisoft vorrebbe chiedere agli utenti, all'occorrenza, di distruggere perfino le copie fisiche dei propri giochi, il movimento Stop Killing Games si sta battendo per preservare quella che l'Unione Europea ha già riconosciuto come una forma d'arte. Abbiamo avuto modo di parlare con Daniel Ondruska, portavoce dell'Iniziativa Europa volta a preservare la conservazione dei videogiochi
Samsung Galaxy S25 Edge: il top di gamma ultrasottile e leggerissimo. La recensione
Samsung Galaxy S25 Edge: il top di gamma ultrasottile e leggerissimo. La recensione
Abbiamo provato il nuovo Galaxy S25 Edge, uno smartphone unico per il suo spessore di soli 5,8 mm e un peso super piuma. Parliamo di un device che ha pro e contro, ma sicuramente si differenzia dalla massa per la sua portabilità, ma non senza qualche compromesso. Ecco la nostra prova completa.
HP Elitebook Ultra G1i 14 è il notebook compatto, potente e robusto
HP Elitebook Ultra G1i 14 è il notebook compatto, potente e robusto
Pensato per il professionista sempre in movimento, HP Elitebook Ultra G1i 14 abbina una piattaforma Intel Core Ultra 7 ad una costruzione robusta, riuscendo a mantenere un peso contenuto e una facile trasportabilità. Ottime prestazioni per gli ambiti di produttività personale con un'autonomia lontano dalla presa di corrente che permette di lavorare per tutta la giornata
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


Intervista a Stop Killing Games: distruggere videogiochi è come bruciare la musica di Mozart Intervista a Stop Killing Games: distruggere vid...
Samsung Galaxy S25 Edge: il top di gamma ultrasottile e leggerissimo. La recensione Samsung Galaxy S25 Edge: il top di gamma ultraso...
HP Elitebook Ultra G1i 14 è il notebook compatto, potente e robusto HP Elitebook Ultra G1i 14 è il notebook c...
Microsoft Surface Pro 12 è il 2 in 1 più compatto e silenzioso Microsoft Surface Pro 12 è il 2 in 1 pi&u...
Recensione REDMAGIC Astra Gaming Tablet: che spettacolo di tablet! Recensione REDMAGIC Astra Gaming Tablet: che spe...
Dimenticate tutto quello che avete visto...
Prodotti illegali su Temu: l'UE avvia pr...
La Cina vuole una governance globale del...
Aperta la CALL4INNOVIT 2025: al centro r...
ECOVACS DEEBOT T50 OMNI è recente...
Torvalds rilascia Linux 6.16, le novit&a...
Top 7 Amazon Bestseller: GoPro MAX fa un...
Steam cambia volto: scopri la nuova orga...
Hai una AnkerMake? Potrebbe essere gi&ag...
Lanciato il razzo spaziale Vega-C VV27 c...
Facebook è la prima piattaforma p...
Il co-creatore di ChatGPT è diven...
Thales Alenia Space e ASI siglano un acc...
L'app UE per la verifica dell'età...
Dynatrace potenzia la propria piattaform...
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: 14:22.


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