summaryrefslogtreecommitdiff
path: root/dev-ml/xml-light/files/01_installopt.patch
blob: d3a3d8457431558b9e872c5f6e61e1a41cbcbafa (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
--- a/Makefile
+++ b/Makefile
@@ -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