 |
Menu |
|
|
|
|
 |
Cerca |
|
Ricerca parole o frasi all'interno del sito.
|
|
|
|
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. 
Le ultime notizie relative a questo argomento
Linux, Microsoft e la mitologia (09/09/2009 - 00:51) letto 69 volte
Installare Hamachi su Arch Linux (18/04/2009 - 00:40) letto 112 volte
MiniMake, il micro-fratello di GNU make (27/09/2008 - 02:16) letto 172 volte
Pushit: nuovo nome, stessa sostanza (13/05/2007 - 15:05) letto 188 volte
Che rottura... (10/05/2007 - 15:39) letto 195 volte
Il bello di Windows (02/04/2007 - 17:12) letto 279 volte
Era ora... (21/01/2007 - 15:09) letto 180 volte
Lifting per KDE (07/09/2006 - 13:31) letto 408 volte
In attesa di KDE 4 (30/08/2006 - 12:54) letto 1366 volte
Tutte le notizie relative a questo argomento |
|
|
|
|
Calendario |
|
Data: 26/11/2009
Ora: 16:35
Lu
Ma
Me
Gi
Ve
Sa
Do
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 amministratori
0 utenti
2 ospiti