From 6e7d84ad4df2a1f281f8a2a04d82b55f288da8c5 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Tue, 24 Mar 2015 13:47:31 +0100
Subject: [PATCH] add target "make lib" to build only the library

---
 Makefile | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index 692434193..4e9173dbe 100644
--- a/Makefile
+++ b/Makefile
@@ -64,12 +64,14 @@ endif
 #                    #
 ######################
 
-VFILES:=$(wildcard *.v) $(wildcard lib/ModuRes/*.v)
+LIBVFILES:=$(wildcard lib/*/*.v)
+VFILES:=$(wildcard *.v) $(LIBVFILES)
 
 -include $(addsuffix .d,$(VFILES))
 .SECONDARY: $(addsuffix .d,$(VFILES))
 
 VOFILES:=$(VFILES:.v=.vo)
+LIBVOFILES:=$(LIBVFILES:.v=.vo)
 VOFILESINC=$(filter $(wildcard ./*),$(VOFILES)) 
 GLOBFILES:=$(VFILES:.v=.glob)
 VIFILES:=$(VFILES:.v=.vi)
@@ -90,6 +92,8 @@ endif
 
 all: $(VOFILES)
 
+lib: $(LIBVOFILES)
+
 spec: $(VIFILES)
 
 gallina: $(GFILES)
@@ -122,7 +126,7 @@ beautify: $(VFILES:=.beautified)
 	@echo 'Do not do "make clean" until you are sure that everything went well!'
 	@echo 'If there were a problem, execute "for file in $$(find . -name \*.v.old -print); do mv $${file} $${file%.old}; done" in your shell/'
 
-.PHONY: all opt byte archclean clean install userinstall depend html validate
+.PHONY: all lib opt byte archclean clean install userinstall depend html validate
 
 ####################
 #                  #
-- 
GitLab