Opened 16 years ago
#202 new task
installation from source
| Reported by: | Stephen Siegel | Owned by: | |
|---|---|---|---|
| Priority: | major | Milestone: | Release 1.0 |
| Component: | Administration | Version: | 1.0 |
| Keywords: | Cc: |
Description
Can someone summarize for me how to
- install gmp, 64 bit version. Which version do I need?
- install cvc3 with java interface
maybe we can also put this info in the README.
Note:
See TracTickets
for help on using tickets.
