diff --git a/pages.nl/common/make.md b/pages.nl/common/make.md new file mode 100644 index 0000000000..ea313dc2f6 --- /dev/null +++ b/pages.nl/common/make.md @@ -0,0 +1,37 @@ +# make + +> Taakuitvoerder voor doelen beschreven in Makefile. +> Wordt meestal gebruikt om de compilatie van een uitvoerbaar bestand uit broncode te beheren. +> Meer informatie: . + +- Roep het eerste doel aan dat in de Makefile is gespecificeerd (meestal "all" genoemd): + +`make` + +- Roep een specifiek doel aan: + +`make {{doel}}` + +- Roep een specifiek doel aan en voer 4 taken tegelijk uit in parallel: + +`make -j{{4}} {{doel}}` + +- Gebruik een specifieke Makefile: + +`make --file {{pad/naar/bestand}}` + +- Voer make uit vanuit een andere map: + +`make --directory {{pad/naar/map}}` + +- Forceer het maken van een doel, zelfs als bronbestanden ongewijzigd zijn: + +`make --always-make {{doel}}` + +- Overschrijf een variabele die in de Makefile is gedefinieerd: + +`make {{doel}} {{variabele}}={{nieuwe_waarde}}` + +- Overschrijf variabelen die in de Makefile zijn gedefinieerd door de omgeving: + +`make --environment-overrides {{doel}}`