#51: chalmers-lava2000 -------------------------+-------------------------------------------------- Reporter: shakthimaan | Owner: chitlesh Type: defect | Status: new Priority: major | Milestone: Fedora 12 'Constantine' Component: FEL | Version: devel Keywords: | -------------------------+-------------------------------------------------- Package chalmers-lava2000, a Hardware Description Library written in Haskell.
http://hackage.haskell.org/cgi-bin/hackage-scripts/package/chalmers- lava2000
#51: chalmers-lava2000 --------------------------+------------------------------------------------- Reporter: shakthimaan | Owner: shakthimaan* Type: defect | Status: new Priority: major | Milestone: Fedora 12 'Constantine' Component: FEL | Version: devel Resolution: | Keywords: --------------------------+------------------------------------------------- Changes (by shakthimaan):
* owner: chitlesh => shakthimaan*
#51: chalmers-lava2000 --------------------------+------------------------------------------------- Reporter: shakthimaan | Owner: shakthimaan Type: defect | Status: assigned Priority: major | Milestone: Fedora 13 Component: FEL | Version: devel Resolution: | Keywords: --------------------------+------------------------------------------------- Changes (by shakthimaan):
* owner: shakthimaan* => shakthimaan * status: new => assigned
Comment:
Review request at: https://bugzilla.redhat.com/show_bug.cgi?id=546376
Have tested this package with example code by compiling with ghc and from the ghci interpreter.
#51: chalmers-lava2000 --------------------------+------------------------------------------------- Reporter: shakthimaan | Owner: shakthimaan* Type: defect | Status: new Priority: major | Milestone: Fedora 13 Component: FEL | Version: devel Resolution: | Keywords: --------------------------+------------------------------------------------- Changes (by shakthimaan):
* owner: shakthimaan => shakthimaan* * status: assigned => new
Comment:
Please hold the review for this package. I have pushed changes that upstream is working on, and will then release a new package.
After that, I shall release a new RPM for review.
#51: chalmers-lava2000 --------------------------+------------------------------------------------- Reporter: shakthimaan | Owner: shakthimaan Type: defect | Status: assigned Priority: major | Milestone: Fedora 13 Component: FEL | Version: devel Resolution: | Keywords: --------------------------+------------------------------------------------- Changes (by shakthimaan):
* owner: shakthimaan* => shakthimaan * status: new => assigned
Comment:
Upstream has made the changes and released a new package. But, few clarifications required:
1. Upstream uses Scripts/smv.wrapper script which is a 'freeware' Cadence tool which we cannot ship. If we package NuSMV (ticket #89), can we safely remove the present smv.wrapper scripts shipped with the upstream package?
Instead of the Scripts/satzoo.wrapper, we could look into using minisat2 compatibility usage.
Verification is optional, so if we package NuSMV, should we add this as 'Requires' in this chalmers-lava2000 package? or should we ignore the verification part and go ahead with just packaging chalmers-lava2000 package, but, document verification in our FEL user guide?
2. There is a Vhdl/lava.vhd file included in the upstream package that has definitions of entities, which are produced in the .vhdl file generated from chalmers-lava2000 when using:
=== First.hs ===
import Lava
halfAdd (a, b) = (sum, carry) where sum = xor2 (a, b) carry = and2 (a, b)
=== END ===
$ ghci Prelude> :l First.hs *Main> import Lava *Main Lava> writeVhdl "halfAdd" halfAdd
How to include this definition file, lava.vhd, in the generated halfAdd.vhd source file so it can be compiled successfully with ghdl (for example)?
3. Where should we place this lava.vhd definitions file so that any VHDL project across the system can include it?
#51: chalmers-lava2000 --------------------------+------------------------------------------------- Reporter: shakthimaan | Owner: shakthimaan Type: defect | Status: assigned Priority: major | Milestone: Fedora 13 Component: FEL | Version: devel Resolution: | Keywords: --------------------------+------------------------------------------------- Comment (by shakthimaan):
Removed Scripts/ folder that includes wrapper scripts that requires, and invokes third-party non-free binaries.
Removed verification modules that depend on third-party non-free binaries during build.
Using ghdl on lava.vhd works!
Please proceed with review. https://bugzilla.redhat.com/show_bug.cgi?id=546376
#51: chalmers-lava2000 --------------------------+------------------------------------------------- Reporter: shakthimaan | Owner: shakthimaan Type: defect | Status: closed Priority: major | Milestone: Fedora 13 Component: FEL | Version: devel Resolution: fixed | Keywords: --------------------------+------------------------------------------------- Changes (by shakthimaan):
* status: assigned => closed * resolution: => fixed
Comment:
Pushed ghc-chalmers-lava2000 to F13. Please refer the "Slightly Revised Tutorial on Lava" by Koen Claessen, and Mary Sheeran:
http://www.cse.chalmers.se/edu/course/TDA956/Papers/lava-tutorial.ps
electronic-lab@lists.fedoraproject.org