[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
05/09: gnu: Add secilc.
From: |
Ricardo Wurmus |
Subject: |
05/09: gnu: Add secilc. |
Date: |
Fri, 21 Apr 2017 18:40:08 -0400 (EDT) |
rekado pushed a commit to branch master
in repository guix.
commit c837027d3855b39b3dd6d326df0154b3e185f21b
Author: Ricardo Wurmus <address@hidden>
Date: Fri Apr 14 13:44:00 2017 +0200
gnu: Add secilc.
* gnu/packages/selinux.scm (secilc): New variable.
---
gnu/packages/selinux.scm | 30 +++++++++++++++++++++++++++++-
1 file changed, 29 insertions(+), 1 deletion(-)
diff --git a/gnu/packages/selinux.scm b/gnu/packages/selinux.scm
index 87b24d5..22f116e 100644
--- a/gnu/packages/selinux.scm
+++ b/gnu/packages/selinux.scm
@@ -26,12 +26,14 @@
#:use-module (gnu packages)
#:use-module (gnu packages admin)
#:use-module (gnu packages bison)
+ #:use-module (gnu packages docbook)
#:use-module (gnu packages flex)
#:use-module (gnu packages pcre)
#:use-module (gnu packages pkg-config)
#:use-module (gnu packages python)
#:use-module (gnu packages swig)
- #:use-module (gnu packages textutils))
+ #:use-module (gnu packages textutils)
+ #:use-module (gnu packages xml))
;; Update the SELinux packages together!
@@ -210,3 +212,29 @@ the core SELinux management utilities.")
"The libsemanage library provides an API for the manipulation of SELinux
binary policies.")
(license license:lgpl2.1+)))
+
+(define-public secilc
+ (package (inherit libsepol)
+ (name "secilc")
+ (arguments
+ (substitute-keyword-arguments (package-arguments libsepol)
+ ((#:make-flags flags)
+ `(let ((docbook (assoc-ref %build-inputs "docbook-xsl")))
+ (cons (string-append "XMLTO=xmlto --skip-validation -x "
+ docbook "/xml/xsl/docbook-xsl-"
+ ,(package-version docbook-xsl)
+ "/manpages/docbook.xsl")
+ ,flags)))
+ ((#:phases phases)
+ `(modify-phases ,phases
+ (replace 'enter-dir
+ (lambda _ (chdir ,name) #t))))))
+ (inputs
+ `(("libsepol" ,libsepol)))
+ (native-inputs
+ `(("xmlto" ,xmlto)
+ ("docbook-xsl" ,docbook-xsl)))
+ (synopsis "SELinux common intermediate language (CIL) compiler")
+ (description "The SELinux CIL compiler is a compiler that converts the
address@hidden intermediate language} (CIL) into a kernel binary policy file.")
+ (license license:bsd-2)))
- branch master updated (ba85174 -> 6ef94ec), Ricardo Wurmus, 2017/04/21
- 06/09: gnu: Add python-sepolgen., Ricardo Wurmus, 2017/04/21
- 05/09: gnu: Add secilc.,
Ricardo Wurmus <=
- 01/09: gnu: Add libsepol., Ricardo Wurmus, 2017/04/21
- 02/09: gnu: Add checkpolicy., Ricardo Wurmus, 2017/04/21
- 03/09: gnu: Add libselinux., Ricardo Wurmus, 2017/04/21
- 04/09: gnu: Add libsemanage., Ricardo Wurmus, 2017/04/21
- 08/09: gnu: Add python-setools., Ricardo Wurmus, 2017/04/21
- 09/09: gnu: Add policycoreutils., Ricardo Wurmus, 2017/04/21
- 07/09: gnu: Add python-ipy., Ricardo Wurmus, 2017/04/21