[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Sks-devel] [PATCH] Add build target for spider
From: |
Peter Pramberger |
Subject: |
[Sks-devel] [PATCH] Add build target for spider |
Date: |
Wed, 25 Mar 2009 21:09:10 +0100 |
User-agent: |
Mozilla/5.0 (Windows; U; Windows NT 5.1; de-AT; rv:1.8.1.21) Gecko/20090303 SeaMonkey/1.1.15 |
Should it be installed too?
Br,
Peter
diff -Naurp sks-1.1.0.orig/Makefile sks-1.1.0/Makefile
--- sks-1.1.0.orig/Makefile 2008-05-10 23:57:28.000000000 +0200
+++ sks-1.1.0/Makefile 2009-03-25 21:04:04.000000000 +0100
@@ -153,6 +153,12 @@ sks.8.gz: sks.8
sks.8: sks.pod
pod2man -c "SKS OpenPGP Key server" --section 8 -r 0.1 -name sks
sks.pod sks.8
+spider: $(LIBS) $(ALLOBJS) spider.cmx
+ $(OCAMLOPT) -o spider $(OCAMLOPTFLAGS) $(ALLOBJS) spider.cmx
+
+spider.bc: $(LIBS.bc) $(ALLOBJS.bc) spider.cmo
+ $(OCAMLC) -o spider.bc $(OCAMLCFLAGS) $(ALLOBJS.bc) spider.cmo
+
sks: $(LIBS) $(ALLOBJS) sks.cmx
$(OCAMLOPT) -o sks $(OCAMLOPTFLAGS) $(ALLOBJS) sks.cmx
- [Sks-devel] [PATCH] Add build target for spider,
Peter Pramberger <=