rpms/ghc-chalmers-lava2000/devel README.fedora, NONE, 1.1 ghc-chalmers-lava2000-remove-verification-modules.patch, NONE, 1.1 ghc-chalmers-lava2000.spec, NONE, 1.1 import.log, NONE, 1.1 .cvsignore, 1.1, 1.2 sources, 1.1, 1.2
Shakthi Kannan
shakthimaan at fedoraproject.org
Wed Jun 30 04:32:19 UTC 2010
Author: shakthimaan
Update of /cvs/pkgs/rpms/ghc-chalmers-lava2000/devel
In directory cvs01.phx2.fedoraproject.org:/tmp/cvs-serv1699/devel
Modified Files:
.cvsignore sources
Added Files:
README.fedora
ghc-chalmers-lava2000-remove-verification-modules.patch
ghc-chalmers-lava2000.spec import.log
Log Message:
First release.
--- NEW FILE README.fedora ---
README.fedora
=============
chalmers-lava2000 packaged for Fedora does not include the
verification modules that use third-party non-free binaries.
You will be able to write, simulate, test, and create VHDL files using
this package.
The lava.vhd has the entity declarations, and is required if you need
to verify the created VHDL file.
--
Shakthi Kannan
shakthimaan at gmail.com
ghc-chalmers-lava2000-remove-verification-modules.patch:
Lava.hs | 10 ----------
chalmers-lava2000.cabal | 15 +--------------
2 files changed, 1 insertion(+), 24 deletions(-)
--- NEW FILE ghc-chalmers-lava2000-remove-verification-modules.patch ---
diff -up chalmers-lava2000-1.1.1/chalmers-lava2000.cabal.fix chalmers-lava2000-1.1.1/chalmers-lava2000.cabal
--- chalmers-lava2000-1.1.1/chalmers-lava2000.cabal.fix 2009-12-20 16:53:51.800160345 +0530
+++ chalmers-lava2000-1.1.1/chalmers-lava2000.cabal 2009-12-20 16:55:54.581901235 +0530
@@ -11,26 +11,19 @@ author: Koen Claessen <koen
maintainer: Emil Axelsson <emax at chalmers.se>
cabal-version: >= 1.2
build-type: Simple
-data-files: README, INSTALL, Doc/tutorial.ps, Vhdl/lava.vhd, Scripts/satzoo.wrapper, Scripts/smv.wrapper
+data-files: INSTALL, Doc/tutorial.ps, Vhdl/lava.vhd
library
exposed-modules:
Lava
Lava.Arithmetic
- Lava.Captain
Lava.Combinational
Lava.ConstructiveAnalysis
- Lava.Eprover
Lava.Error
- Lava.Fixit
Lava.Generic
- Lava.HeerHugo
Lava.IOBuffering
- Lava.Isc
Lava.LavaDir
Lava.LavaRandom
- Lava.Limmat
- Lava.Modoc
Lava.MyST
Lava.Netlist
Lava.Operators
@@ -38,22 +31,16 @@ library
Lava.Property
Lava.Ref
Lava.Retime
- Lava.Satnik
- Lava.Satzoo
Lava.Sequent
Lava.Sequential
Lava.SequentialCircuits
Lava.SequentialConstructive
Lava.Signal
Lava.SignalTry
- Lava.Smv
Lava.Stable
Lava.Table
Lava.Test
- Lava.Verification
Lava.Vhdl
- Lava.Vis
- Lava.Zchaff
other-modules:
Paths_chalmers_lava2000
diff -up chalmers-lava2000-1.1.1/Lava.hs.fix chalmers-lava2000-1.1.1/Lava.hs
--- chalmers-lava2000-1.1.1/Lava.hs.fix 2009-12-20 16:56:43.629901711 +0530
+++ chalmers-lava2000-1.1.1/Lava.hs 2009-12-20 16:58:01.773901399 +0530
@@ -7,11 +7,6 @@ module Lava
, module Lava.SequentialConstructive
, module Lava.ConstructiveAnalysis
, module Lava.Test
- , module Lava.Verification
- , module Lava.Vis
- , module Lava.Fixit
- , module Lava.Smv
- , module Lava.Satzoo
, module Lava.Property
, module Lava.Retime
, module Lava.Vhdl
@@ -26,11 +21,6 @@ import Lava.Sequential
import Lava.SequentialConstructive
import Lava.ConstructiveAnalysis
import Lava.Test
-import Lava.Verification
-import Lava.Vis
-import Lava.Fixit
-import Lava.Smv
-import Lava.Satzoo
import Lava.Property
import Lava.Retime
import Lava.Vhdl
--- NEW FILE ghc-chalmers-lava2000.spec ---
%global pkg_name chalmers-lava2000
%global common_summary Haskell hardware description library
%global common_description A Hardware description library for Haskell.
%bcond_without shared
# debuginfo is not useful for ghc
%global debug_package %{nil}
Name: ghc-%{pkg_name}
Version: 1.1.1
Release: 6%{?dist}
Summary: %{common_summary}
Group: System Environment/Libraries
License: BSD
URL: http://hackage.haskell.org/cgi-bin/hackage-scripts/package/%{pkg_name}
Source0: http://hackage.haskell.org/packages/archive/%{pkg_name}/%{version}/%{pkg_name}-%{version}.tar.gz
Source1: README.fedora
Patch0: ghc-chalmers-lava2000-remove-verification-modules.patch
BuildRoot: %{_tmppath}/%{name}-%{version}-%{release}-root-%(%{__id_u} -n)
# fedora ghc archs:
ExclusiveArch: %{ix86} x86_64 ppc alpha
BuildRequires: ghc, ghc-doc, ghc-prof
BuildRequires: ghc-rpm-macros >= 0.7.0
%description
%{common_description}
%if %{with shared}
This package provides the shared library.
%endif
%{?ghc_lib_package}
%prep
%setup -q -n %{pkg_name}-%{version}
%patch0 -p1 -b .orig
%{__install} -pm 644 %{SOURCE1} .
%build
%ghc_lib_build
%install
%{__rm} -rf %{buildroot}
%ghc_lib_install
# cleanup extra data files
echo "%{_datadir}/%{pkg_name}-%{version}" >> %{name}-devel.files
%{__mv} %{buildroot}%{_datadir}/%{pkg_name}-%{version}/Doc/tutorial.ps .
%{__gzip} tutorial.ps
echo "%doc tutorial.ps.gz" >> %{name}-doc.files
%{__rm} -r %{buildroot}%{_datadir}/%{pkg_name}-%{version}/{Doc,INSTALL}
%clean
rm -rf %{buildroot}
%changelog
* Tue Jun 29 2010 Jens Petersen <petersen at redhat.com> - 1.1.1-6
- update to cabal2spec-0.22.1
* Mon May 24 2010 Jens Petersen <petersen at redhat.com> - 1.1.1-5
- Keep lava.vhd in datadir so users can find it easily (#546376)
- Improve summary and description
* Fri May 21 2010 Jens Petersen <petersen at redhat.com> - 1.1.1-4
- Include the extra data files as doc files instead in the base package
* Tue Apr 13 2010 Shakthi Kannan <shakthimaan [AT] gmail dot com> - 1.1.1-3
- Removed INSTALL file.
- Gzip tutorial.ps and move it to docdir.
- Move Vhdl folder to docdir.
- Removed chalmers folder.
* Thu Apr 08 2010 Shakthi Kannan <shakthimaan [AT] gmail dot com> - 1.1.1-2
- Initial packaging for Fedora automatically generated by cabal2spec-0.21.3.
- Added BSD license.
* Sun Dec 20 2009 Shakthi Kannan <shakthimaan [AT] gmail dot com> - 1.1.1-1
- Added README.fedora, instead of using default README.
- Remove Scripts folder.
- Created patch to remove verification modules that use wrapper scripts.
- Initial packaging for Fedora automatically generated by cabal2spec for 1.1.1
* Mon Dec 14 2009 Shakthi Kannan <shakthimaan [AT] gmail dot com> - 1.1.0-1
- Upstream fixed LAVADIR path as per recommendation.
- Upstream changed import Lava2000 to Lava.
- Initial packaging for Fedora automatically generated by cabal2spec for 1.1.0
* Thu Dec 10 2009 Shakthi Kannan <shakthimaan [AT] gmail dot com> - 1.0.2-1
- Set LAVADIR path with sed.
- Initial packaging for Fedora automatically generated by cabal2spec for 1.0.2
--- NEW FILE import.log ---
ghc-chalmers-lava2000-1_1_1-6_fc14:HEAD:ghc-chalmers-lava2000-1.1.1-6.fc14.src.rpm:1277871906
Index: .cvsignore
===================================================================
RCS file: /cvs/pkgs/rpms/ghc-chalmers-lava2000/devel/.cvsignore,v
retrieving revision 1.1
retrieving revision 1.2
diff -u -p -r1.1 -r1.2
--- .cvsignore 30 Jun 2010 01:04:23 -0000 1.1
+++ .cvsignore 30 Jun 2010 04:32:19 -0000 1.2
@@ -0,0 +1 @@
+chalmers-lava2000-1.1.1.tar.gz
Index: sources
===================================================================
RCS file: /cvs/pkgs/rpms/ghc-chalmers-lava2000/devel/sources,v
retrieving revision 1.1
retrieving revision 1.2
diff -u -p -r1.1 -r1.2
--- sources 30 Jun 2010 01:04:23 -0000 1.1
+++ sources 30 Jun 2010 04:32:19 -0000 1.2
@@ -0,0 +1 @@
+cf8c388bd905a57221169b54a4b4454e chalmers-lava2000-1.1.1.tar.gz
More information about the scm-commits
mailing list