summaryrefslogtreecommitdiff
path: root/gnu
diff options
context:
space:
mode:
authorJohn Soo <jsoo1@asu.edu>2019-12-19 10:50:54 -0800
committerEfraim Flashner <efraim@flashner.co.il>2020-01-02 20:16:57 +0200
commit234e1bad153ce988e4e7fdaae22f68b6f7c502ce (patch)
tree59f3c97108fd02abd88d4f58b69f9207217aad0f /gnu
parent4c81e9b99bd40dc50604189b287aadc7664414ab (diff)
gnu: Add rust-html5ever-0.23.
* gnu/packages/crates-io.scm (rust-html5ever-0.23): New variable. Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
Diffstat (limited to 'gnu')
-rw-r--r--gnu/packages/crates-io.scm34
1 files changed, 34 insertions, 0 deletions
diff --git a/gnu/packages/crates-io.scm b/gnu/packages/crates-io.scm
index e6ef1d42c4..7281e9ed0a 100644
--- a/gnu/packages/crates-io.scm
+++ b/gnu/packages/crates-io.scm
@@ -4000,6 +4000,40 @@ compile time.")
"Internal implementation of the hex-literal crate.")
(license (list license:asl2.0 license:expat))))
+(define-public rust-html5ever-0.23
+ (package
+ (name "rust-html5ever")
+ (version "0.23.0")
+ (source
+ (origin
+ (method url-fetch)
+ (uri (crate-uri "html5ever" version))
+ (file-name
+ (string-append name "-" version ".tar.gz"))
+ (sha256
+ (base32
+ "1dx8k7synrmf3fl6gcfm5q1cybfglvhc9xnvly3s5xcc0b45mrjw"))))
+ (build-system cargo-build-system)
+ (arguments
+ `(#:skip-build? #t
+ #:cargo-inputs
+ (("rust-log" ,rust-log-0.4)
+ ("rust-mac" ,rust-mac-0.1)
+ ("rust-markup5ever" ,rust-markup5ever-0.8))
+ #:cargo-development-inputs
+ (("rust-criterion" ,rust-criterion-0.2)
+ ("rust-proc-macro2" ,rust-proc-macro2-0.4)
+ ("rust-quote" ,rust-quote-1.0)
+ ("rust-rustc-serialize" ,rust-rustc-serialize-0.3)
+ ("rust-rustc-test" ,rust-rustc-test-0.3)
+ ("rust-syn" ,rust-syn-0.15)
+ ("rust-typed-arena" ,rust-typed-arena-1.4))))
+ (home-page "https://github.com/servo/html5ever")
+ (synopsis "High-performance browser-grade HTML5 parser")
+ (description
+ "High-performance browser-grade HTML5 parser.")
+ (license (list license:asl2.0 license:expat))))
+
(define-public rust-http-0.1
(package
(name "rust-http")