Package: xml-light / 2.2-17

01_installopt.diff Patch series | download
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
diff -urNad xml-light-2.2~/Makefile xml-light-2.2/Makefile
--- xml-light-2.2~/Makefile	2005-10-11 23:26:41.000000000 +0200
+++ xml-light-2.2/Makefile	2005-10-11 23:28:00.000000000 +0200
@@ -11,8 +11,11 @@
 
 opt: xml-light.cmxa test_opt.exe
 
-install: all opt
-	cp xml-light.cmxa xml-light.a xml-light.cma xml.mli xmlParser.mli dtd.mli xml.cmi xmlParser.cmi dtd.cmi xml.cmx dtd.cmx xmlParser.cmx $(INSTALLDIR)
+install: all 
+	cp xml-light.cma xml.mli xmlParser.mli dtd.mli xml.cmi xmlParser.cmi dtd.cmi  $(INSTALLDIR)
+
+installopt: opt all 
+	cp xml-light.a xml-light.cmxa xml.cmx dtd.cmx xmlParser.cmx $(INSTALLDIR)
 
 doc:
 	mkdir doc