 |
Hauptmenü |
|
|
|
|
 |
Cerca |
|
Auf dieser Website suchen.
|
|
|
|
Siti amici |
|
|
|
|
|
Pubblicità |
|
|
|
|
|
Statistiche |
|
|
|
|
|
 MiniMake, il micro-fratello di GNU make |
 Come promesso, ecco online (chiaramente nella sezione download, come sempre) MiniMake, ora passato attraverso Valgrind e ripulito dal bug che conoscevo già. Siete invitati a segnalarmi qualsiasi cosa mi sia sfuggita, o tramite il forum o tramite la mia email. 
Dimenticavo: il codice è GPLv3. 
Il programma è volutamente minimale, e supporta solo semplici caratteristiche dei Makefile:
- espansione di variabili
- soppressione della stampa dei comandi preceduti da @
- commenti (non solo ad inizio linea)
- dipendenze tra target
- riconoscimento delle dipendenze circolari
È evidente che dei Makefile complessi (come quelli generati dalle GNU autotools) non verrano mai interpretati con successo da MiniMake, ma per situazioni "di emergenza", dove è necessario un make standalone e non si ha voglia di scaricare tutto MinGW, ecco che il mio programmino può tornare utile. In effetti è proprio in una situazione del genere che è nato.
Ora, voi starete dicendo "ma non è più facile scaricare il solo GNU make?". In verità, sì, lo è. Solo che non lo sapevo, ed ormai era troppo tardi, avendo già completato il programma. 
Neueste Einträge in dieser Kategorie
Linux, Microsoft e la mitologia (09/09/2009 - 00:51) gelesen 71 Male
Installare Hamachi su Arch Linux (18/04/2009 - 00:40) gelesen 113 Male
MiniMake, il micro-fratello di GNU make (27/09/2008 - 02:16) gelesen 173 Male
Pushit: nuovo nome, stessa sostanza (13/05/2007 - 15:05) gelesen 188 Male
Che rottura... (10/05/2007 - 15:39) gelesen 195 Male
Il bello di Windows (02/04/2007 - 17:12) gelesen 279 Male
Era ora... (21/01/2007 - 15:09) gelesen 180 Male
Lifting per KDE (07/09/2006 - 13:31) gelesen 408 Male
In attesa di KDE 4 (30/08/2006 - 12:54) gelesen 1366 Male
Alle Einträge in dieser Kategorie |
|
|
|
|
Calendario |
|
Datum: 27/11/2009
Zeit: 17:45
Mo
Di
Mi
Do
Fr
Sa
So
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
|
|
|
|
Votami |
|
|
|
|
|
Login |
|
|
|
|
|
Sondaggio |
|
|
|
|
|
|
|
|
|
0 Administratoren
0 Angemeldete
5 Gäste