Opened 16 years ago
Closed 16 years ago
#210 closed task (wontfix)
Try to build solaris version of CVC3, etc.
| Reported by: | zirkel | Owned by: | zirkel |
|---|---|---|---|
| Priority: | major | Milestone: | |
| Component: | None | Version: | |
| Keywords: | Cc: |
Description
We'd like to build on the webserver. Otherwise maybe we can switch it to Linux.
Change History (5)
comment:1 by , 16 years ago
| Status: | new → accepted |
|---|
comment:2 by , 16 years ago
comment:4 by , 16 years ago
We now have a shared filesystem with Anton. We should do all compiling, testing, etc. on Anton, and have the appropriate vsl locations symlinked to files in the shared filesystem.
Note:
See TracTickets
for help on using tickets.

The CVC3 build tries to use ldconfig to set up linking against the dynamic libraries. However, Solaris doesn't use ldconfig. I've been trying to work around this, but so far unsuccessfully.