gnu: Add tinyxml.
authorDavid Thompson <dthompson2@worcester.edu>
Tue, 24 Nov 2015 18:35:44 +0000 (13:35 -0500)
committerDavid Thompson <dthompson2@worcester.edu>
Wed, 25 Nov 2015 16:44:11 +0000 (11:44 -0500)
commit33ae9107d8b60c8c418bc0b7c6ee17af99c85e2f
tree6007680685dd7a09669491b98cd7f5c5b9a8cfe9
parent968ae903189c6c4a41c0e2cddf41ffc5a8c32f93
gnu: Add tinyxml.

* gnu/packages/xml.scm (tinyxml): New variable.
* gnu/packages/patches/tinyxml-use-stl.patch: New file.
* gnu-system.am (dist_patch_DATA): Add it.
gnu-system.am
gnu/packages/patches/tinyxml-use-stl.patch [new file with mode: 0644]
gnu/packages/xml.scm