diff --git a/.gitignore b/.gitignore deleted file mode 100644 index 319e529..0000000 --- a/.gitignore +++ /dev/null @@ -1,6 +0,0 @@ -chalmers-lava2000-1.1.1.tar.gz -/chalmers-lava2000-1.1.2.tar.gz -/chalmers-lava2000-1.2.0.tar.gz -/chalmers-lava2000-1.3.tar.gz -/chalmers-lava2000-1.4.1.tar.gz -/chalmers-lava2000-1.6.1.tar.gz diff --git a/README.fedora b/README.fedora deleted file mode 100644 index 6d1f64c..0000000 --- a/README.fedora +++ /dev/null @@ -1,15 +0,0 @@ -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@gmail.com \ No newline at end of file diff --git a/dead.package b/dead.package new file mode 100644 index 0000000..63917cd --- /dev/null +++ b/dead.package @@ -0,0 +1 @@ +no longer maintained nor builds due to ghc-random changes diff --git a/ghc-chalmers-lava2000-1.2-remove-verification-modules.patch b/ghc-chalmers-lava2000-1.2-remove-verification-modules.patch deleted file mode 100644 index d349d31..0000000 --- a/ghc-chalmers-lava2000-1.2-remove-verification-modules.patch +++ /dev/null @@ -1,84 +0,0 @@ -diff -up chalmers-lava2000-1.2.0/chalmers-lava2000.cabal.fix chalmers-lava2000-1.2.0/chalmers-lava2000.cabal ---- chalmers-lava2000-1.2.0/chalmers-lava2000.cabal.fix 2012-08-13 17:14:12.701053750 +0530 -+++ chalmers-lava2000-1.2.0/chalmers-lava2000.cabal 2012-08-13 17:15:41.203050365 +0530 -@@ -11,7 +11,7 @@ maintainer: Emil Axelsson = 1.6 - 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 - - source-repository head - type: darcs -@@ -21,20 +21,13 @@ 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 -@@ -42,22 +35,17 @@ 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.2.0/Lava.hs.fix chalmers-lava2000-1.2.0/Lava.hs ---- chalmers-lava2000-1.2.0/Lava.hs.fix 2012-08-13 17:15:56.692050417 +0530 -+++ chalmers-lava2000-1.2.0/Lava.hs 2012-08-13 17:16:21.155050692 +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 diff --git a/ghc-chalmers-lava2000.spec b/ghc-chalmers-lava2000.spec deleted file mode 100644 index b55c9a1..0000000 --- a/ghc-chalmers-lava2000.spec +++ /dev/null @@ -1,268 +0,0 @@ -# generated by cabal-rpm-2.0.9 -# https://docs.fedoraproject.org/en-US/packaging-guidelines/Haskell/ - -%global pkg_name chalmers-lava2000 -%global pkgver %{pkg_name}-%{version} - -Name: ghc-%{pkg_name} -Version: 1.6.1 -Release: 18%{?dist} -Summary: Hardware description EDSL - -License: BSD -Url: https://hackage.haskell.org/package/%{pkg_name} -# Begin cabal-rpm sources: -Source0: https://hackage.haskell.org/package/%{pkgver}/%{pkgver}.tar.gz -# End cabal-rpm sources -Source1: README.fedora - -# Begin cabal-rpm deps: -BuildRequires: ghc-Cabal-devel -BuildRequires: ghc-rpm-macros -BuildRequires: ghc-array-prof -BuildRequires: ghc-base-prof -BuildRequires: ghc-process-prof -BuildRequires: ghc-random-prof -# End cabal-rpm deps - -%description -A hardware description library in Haskell. - - -%package devel -Summary: Haskell %{pkg_name} library development files -Provides: %{name}-static = %{version}-%{release} -Provides: %{name}-static%{?_isa} = %{version}-%{release} -%if %{defined ghc_version} -Requires: ghc-compiler = %{ghc_version} -%endif -Requires: %{name}%{?_isa} = %{version}-%{release} - -%description devel -This package provides the Haskell %{pkg_name} library development -files. - - -%if %{with haddock} -%package doc -Summary: Haskell %{pkg_name} library documentation -BuildArch: noarch -Requires: ghc-filesystem - -%description doc -This package provides the Haskell %{pkg_name} library documentation. -%endif - - -%if %{with ghc_prof} -%package prof -Summary: Haskell %{pkg_name} profiling library -Requires: %{name}-devel%{?_isa} = %{version}-%{release} -Supplements: (%{name}-devel and ghc-prof) - -%description prof -This package provides the Haskell %{pkg_name} profiling library. -%endif - - -%prep -# Begin cabal-rpm setup: -%setup -q -n %{pkgver} -# End cabal-rpm setup -%{__install} -pm 644 %{SOURCE1} . - - -%build -# Begin cabal-rpm build: -%ghc_lib_build -# End cabal-rpm build - - -%install -# Begin cabal-rpm install -%ghc_lib_install - -rm %{buildroot}%{_datadir}/%{pkgver}/README -# End cabal-rpm install - -# cleanup extra data files -%{__mv} %{buildroot}%{_datadir}/%{pkgver}/Doc/tutorial.pdf . -%{__rm} %{buildroot}%{_datadir}/%{pkgver}/INSTALL - - -%files -f %{name}.files -# Begin cabal-rpm files: -%license LICENSE -# End cabal-rpm files - - -%files devel -f %{name}-devel.files -%doc README README.fedora tutorial.pdf -%{_datadir}/%{pkgver} - - -%if %{with haddock} -%files doc -f %{name}-doc.files -%license LICENSE -%endif - - -%if %{with ghc_prof} -%files prof -f %{name}-prof.files -%endif - - -%changelog -* Fri Aug 06 2021 Jens Petersen - 1.6.1-18 -- rebuild - -* Thu Jul 22 2021 Fedora Release Engineering - 1.6.1-17 -- Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild - -* Tue Jan 26 2021 Fedora Release Engineering - 1.6.1-16 -- Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild - -* Mon Jul 27 2020 Fedora Release Engineering - 1.6.1-15 -- Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild - -* Fri Jul 17 2020 Jens Petersen - 1.6.1-14 -- refresh to cabal-rpm-2.0.6 - -* Tue Jan 28 2020 Fedora Release Engineering - 1.6.1-13 -- Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild - -* Thu Aug 01 2019 Jens Petersen - 1.6.1-12 -- add doc and prof subpackages (cabal-rpm-1.0.0) - -* Thu Jul 25 2019 Fedora Release Engineering - 1.6.1-11 -- Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild - -* Sun Feb 17 2019 Jens Petersen - 1.6.1-10 -- refresh to cabal-rpm-0.13 - -* Thu Jan 31 2019 Fedora Release Engineering - 1.6.1-9 -- Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild - -* Fri Jul 13 2018 Fedora Release Engineering - 1.6.1-8 -- Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild - -* Wed Feb 07 2018 Fedora Release Engineering - 1.6.1-7 -- Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild - -* Fri Jan 26 2018 Jens Petersen - 1.6.1-6 -- rebuild - -* Wed Aug 02 2017 Fedora Release Engineering - 1.6.1-5 -- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild - -* Wed Jul 26 2017 Fedora Release Engineering - 1.6.1-4 -- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild - -* Fri Feb 24 2017 Jens Petersen - 1.6.1-3 -- refresh to cabal-rpm-0.11.1 - -* Fri Feb 10 2017 Fedora Release Engineering - 1.6.1-2 -- Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild - -* Thu Jun 23 2016 Jens Petersen - 1.6.1-1 -- update to 1.6.1 - -* Wed Feb 03 2016 Fedora Release Engineering - 1.4.1-3 -- Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild - -* Wed Jun 17 2015 Fedora Release Engineering - 1.4.1-2 -- Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild - -* Wed Oct 29 2014 Jens Petersen - 1.4.1-1 -- update to 1.4.1 -- cblrpm refresh - -* Sat Aug 16 2014 Fedora Release Engineering - 1.3-7 -- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild - -* Sat Jun 07 2014 Fedora Release Engineering - 1.3-6 -- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild - -* Sat Aug 03 2013 Fedora Release Engineering - 1.3-5 -- Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild - -* Fri Jun 07 2013 Jens Petersen - 1.3-4 -- update to new simplified Haskell Packaging Guidelines - -* Wed Feb 13 2013 Fedora Release Engineering - 1.3-3 -- Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild - -* Sat Nov 17 2012 Jens Petersen - 1.3-2 -- update with cabal-rpm -- include tutorial again and README files - -* Sat Sep 29 2012 Shakthi Kannan - 1.3-1 -- Updated to 1.3 - -* Mon Aug 13 2012 Shakthi Kannan - 1.2.0-1 -- spec file template generated by cabal2spec-0.25.5 -- Updated to 1.2.0 - -* Thu Dec 29 2011 Shakthi Kannan - 1.1.2-1 -- Updated to use cabal2spec-0.24.1. -- Updated to 1.1.2. - -* Thu Oct 20 2011 Marcela Mašláňová - 1.1.1-12.2 -- rebuild with new gmp without compat lib - -* Tue Oct 11 2011 Peter Schiffer - 1.1.1-12.1 -- rebuild with new gmp - -* Fri Jun 24 2011 Jens Petersen - 1.1.1-12 -- BR ghc-Cabal-devel instead of ghc-prof and use ghc_arches (cabal2spec-0.23.2) - -* Thu Mar 10 2011 Fabio M. Di Nitto - 1.1.1-11 -- Enable build on sparcv9 - -* Tue Feb 08 2011 Fedora Release Engineering - 1.1.1-10 -- Rebuilt for https://fedoraproject.org/wiki/Fedora_15_Mass_Rebuild - -* Mon Jan 17 2011 Jens Petersen - 1.1.1-9 -- update to cabal2spec-0.22.4 - -* Mon Nov 29 2010 Jens Petersen - 1.1.1-8 -- bump base to 4 for ghc 7 -- update url and drop -o obsoletes - -* Sat Sep 4 2010 Jens Petersen - 1.1.1-7 -- add hscolour and doc obsolete (cabal2spec-0.22.2) - -* Tue Jun 29 2010 Jens Petersen - 1.1.1-6 -- update to cabal2spec-0.22.1 - -* Mon May 24 2010 Jens Petersen - 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 - 1.1.1-4 -- Include the extra data files as doc files instead in the base package - -* Tue Apr 13 2010 Shakthi Kannan - 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 - 1.1.1-2 -- Initial packaging for Fedora automatically generated by cabal2spec-0.21.3. -- Added BSD license. - -* Sun Dec 20 2009 Shakthi Kannan - 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 - 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 - 1.0.2-1 -- Set LAVADIR path with sed. -- Initial packaging for Fedora automatically generated by cabal2spec for 1.0.2 diff --git a/sources b/sources deleted file mode 100644 index 238f5b3..0000000 --- a/sources +++ /dev/null @@ -1 +0,0 @@ -464d21b05a52fc787c16077fc3abe583 chalmers-lava2000-1.6.1.tar.gz