petersen pushed to Agda (master). "compile Primitive.agda"
notifications at fedoraproject.org
notifications at fedoraproject.org
Thu Apr 16 08:49:42 UTC 2015
>From 67405aa2a0f25634dd358d792c91c6293eb13fdb Mon Sep 17 00:00:00 2001
From: Jens Petersen <petersen at redhat.com>
Date: Thu, 16 Apr 2015 17:49:06 +0900
Subject: compile Primitive.agda
diff --git a/Agda.spec b/Agda.spec
index 5c17e22..12d076a 100644
--- a/Agda.spec
+++ b/Agda.spec
@@ -4,7 +4,7 @@
Name: %{pkg_name}
Version: 2.4.2.2
-Release: 1%{?dist}
+Release: 2%{?dist}
Summary: A dependently typed functional programming language and proof assistant
License: MIT and BSD
@@ -170,6 +170,8 @@ cd -
%ghc_fix_dynamic_rpath agda
+dist/build/agda/agda %{buildroot}%{_datadir}/%{name}-%{version}/lib/prim/Agda/Primitive.agda
+
mkdir -p %{buildroot}%{_emacs_sitelispdir}/agda
for i in src/data/emacs-mode/*; do
install -p -m 0644 $i %{buildroot}%{_emacs_sitelispdir}/agda
@@ -217,6 +219,9 @@ rm %{buildroot}%{_docdir}/%{name}*/LICENSE
%changelog
+* Thu Apr 16 2015 Jens Petersen <petersen at redhat.com> - 2.4.2.2-2
+- compile Primitive.agda
+
* Fri Apr 03 2015 Jens Petersen <petersen at redhat.com> - 2.4.2.2-1
- update to 2.4.2.2
--
cgit v0.10.2
http://pkgs.fedoraproject.org/cgit/Agda.git/commit/?h=master&id=67405aa2a0f25634dd358d792c91c6293eb13fdb
More information about the scm-commits
mailing list