git.zerfleddert.de Git - micropolis/history

]> git.zerfleddert.de Git - micropolis/history - Makefile

8 days ago	Michael Gernoth	Makefile: more dependency fixes master	blob \| commitdiff \| raw
8 days ago	Michael Gernoth	Makefiles: support parallel compilation with -j	blob \| commitdiff \| raw \| diff to current
2025-06-28	Michael Gernoth	Remove copy of DejaVu font and prioritize helvetica	blob \| commitdiff \| raw \| diff to current
2022-06-04	Ryan Schmidt	Makefile: Micropolis build fixes for recent macOS	blob \| commitdiff \| raw \| diff to current
2008-02-04	Michael Gernoth	add "uninstall" target	blob \| commitdiff \| raw \| diff to current
2008-02-04	Michael Gernoth	add .desktop-file from Ian Darwin, forwarded by Deanna...	blob \| commitdiff \| raw \| diff to current
2008-02-04	Michael Gernoth	DESTDIR support for Makefile	blob \| commitdiff \| raw \| diff to current
2008-02-03	Michael Gernoth	add "install" target to Makefile	blob \| commitdiff \| raw \| diff to current
2008-02-03	Michael Gernoth	target "all" should be phony	blob \| commitdiff \| raw \| diff to current
2008-02-03	Michael Gernoth	add simple Makefile in top directory	blob \| commitdiff \| raw \| diff to current

Micropolis