diff INSTALL.md @ 90:a6d6497adb60

make: cleanup a bit and add appropriate dependencies
author David Demelier <markand@malikania.fr>
date Thu, 12 Mar 2020 20:31:50 +0100
parents 30baadb6f6a2
children 3675021fa6e5
line wrap: on
line diff
--- a/INSTALL.md	Thu Mar 12 20:22:02 2020 +0100
+++ b/INSTALL.md	Thu Mar 12 20:31:50 2020 +0100
@@ -26,6 +26,13 @@
 	# sudo make install
 	$ molko
 
+Available general make targets:
+
+- `all`: (default): build only molko,
+- `tools`: build tools (e.g. molko-map),
+- `tests`: build tests and run them,
+- `everything`: build molko, tools and tests without running them.
+
 Platform: Windows
 -----------------