diff options
Diffstat (limited to 'dev-ml/xml-light/files/01_installopt.patch')
| -rw-r--r-- | dev-ml/xml-light/files/01_installopt.patch | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/dev-ml/xml-light/files/01_installopt.patch b/dev-ml/xml-light/files/01_installopt.patch new file mode 100644 index 000000000000..d3a3d8457431 --- /dev/null +++ b/dev-ml/xml-light/files/01_installopt.patch @@ -0,0 +1,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
|