]> git.tuebingen.mpg.de Git - lopsub.git/blobdiff - Makefile
lopsubgen.suite: Fix homepage link.
[lopsub.git] / Makefile
index 97d135a069773da221e44ade4915fd194c83602d..89cbc2eeb3abe456e21ee44e69377eb50d4377f5 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -116,6 +116,9 @@ lopsubgen: $(lsg_objs)
        $(CC) -Wall -g -o $@ $(lsg_objs)
 $(REALNAME): $(liblopsub_objs)
        $(CC) --shared -Wl,-soname,liblopsub.so.$(MAJOR_VERSION) -o $@ $^
+liblopsub.a: $(liblopsub_objs)
+       $(AR) -rcs $@ $^
+
 lopsubex: $(lopsubex_objs) $(REALNAME)
        $(CC) -Wall -g -o $@ $(lopsubex_objs)
 
@@ -151,4 +154,4 @@ clean:
 distclean: clean
        $(RM) *.lsg.c *.lsg.h lopsubgen.c config_file.c lopsubgen-stage1 \
                lopsub.h lopsub.7 lopsub-suite.5 version.c
-
+-include Makefile.local