FreshPorts -- The Place For Ports If you buy from Amazon USA, please support us by using this link.
Follow us
Blog
Twitter

Port details
cherivis-devel Visualisation tool for CHERI / BERI streamtraces
0.1_3 devel on this many watch lists=0 search for ports that depend on this port Find issues related to this port Report an issue related to this port
Maintainer: theraven@FreeBSD.org search for ports maintained by this maintainer
Port Added: 15 Jan 2014 20:46:03
Also Listed In: gnustep
License: MIT
A tool for viewing streamtraces from the BERI and CHERI processors from SRI
International and the University of Cambridge.  CheriVis uses LLVM to read
object code and to disassemble MIPS instructions.

The current version of the port only understands traditional MIPS instructions.

WWW: https://github.com/CTSRD-CHERI/CheriVis
SVNWeb : Homepage : Distfiles Availability : PortsMon

To install the port: cd /usr/ports/devel/cherivis-devel/ && make install clean
To add the package: pkg install cherivis-devel

PKGNAME: cherivis-devel


NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.

Build dependencies:
  1. llvm-config34 : devel/llvm34
  2. gmake : devel/gmake
  3. gnustep-make>0 : devel/gnustep-make
  4. gnustep-back>0 : x11-toolkits/gnustep-back
Runtime dependencies:
  1. gnustep-back>0 : x11-toolkits/gnustep-back
Library dependencies:
  1. libdispatch.so : devel/libdispatch
  2. libobjc.so.4.6 : lang/libobjc2
There are no ports dependent upon this port

Configuration Options
     No options to configure

USES:
gnustep

Master Sites:
  1. http://distcache.FreeBSD.org/ports-distfiles/
  2. https://codeload.github.com/CTSRD-CHERI/CheriVis/tar.gz/525aeb4?dummy=/

Number of commits found: 10

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
19 Sep 2015 10:33:36
Original commit files touched by this commit  0.1_3
Revision:397315
theraven search for other commits by this committer
Make all GNUstep ports install into the System domain so that the Local domain
is available for stuff built from source.

Some ports were already installing in the System domain, for these just remove
the Makefile lines explicitly specifying the install domain.

The rest are installed in the Local domain, remove any overrides, update their
pkg-plists and any explicit paths in the Makefiles and then bump port revision.

Approved by:	bapt (mentor)
Differential Revision:	https://reviews.freebsd.org/D2977
25 Jun 2015 11:12:57
Original commit files touched by this commit  0.1_2
Revision:390557
amdmi3 search for other commits by this committer
- Mark BROKEN on FreeBSD 9.x:

/usr/local/llvm34/include/llvm/ADT/SmallVector.h:188:15: error: no member named
'move' in namespace 'std'; did you mean simply 'move'?

- While here, remove blank line at the end of pkg-descr to pet portlint

Approved by:	portmgr blanket
Submitted by:	pkg-fallout
06 May 2015 15:16:54
Original commit files touched by this commit  0.1_2
Revision:385521
mat search for other commits by this committer
Update ports in the [bcd]* categories to not use GH_COMMIT.

With minor cleanups to make things simpler.

With hat:	portmgr
Sponsored by:	Absolight
10 Apr 2015 07:25:09
Original commit files touched by this commit  0.1_2
Revision:383699
bapt search for other commits by this committer
Convert to USES=gnustep
27 Oct 2014 10:10:59
Original commit files touched by this commit  0.1_2
Revision:371544
bapt search for other commits by this committer
Cleanup plist
10 Sep 2014 20:50:37
Original commit files touched by this commit  0.1_2
Revision:367888
gerald search for other commits by this committer
Update the default version of GCC in the Ports Collection from GCC 4.7.4
to GCC 4.8.3.

Part II, Bump PORTREVISIONs.

PR:		192025
Tested by:	antoine (-exp runs)
Approved by:	portmgr (implicit)
10 Jun 2014 07:39:02
Original commit files touched by this commit  0.1_1
Revision:357277
olgeni search for other commits by this committer
Remove indefinite articles and trailing periods from COMMENT, plus
minor COMMENT typos and surrounding whitespace fixes. Categories D-F.

CR:		D196
Approved by:	portmgr (bapt)
16 Jan 2014 20:42:38
Original commit files touched by this commit  0.1_1
Revision:339983
theraven search for other commits by this committer
Updated CheriVis to new version.

Approved by:	bapt (mentor, implicit)
16 Jan 2014 20:04:47
Original commit files touched by this commit  0.1
Revision:339973
theraven search for other commits by this committer
Fix the filenames in distinfo for cherivis-devel.

Submitted by:	sson
Approved by:	bapt (mentor, implicit)
15 Jan 2014 20:45:52
Original commit files touched by this commit  0.1
Revision:339817
theraven search for other commits by this committer
Add a port for CheriVis, a tool for inspecting CHERI CPU instruction traces.

Approved by:	bapt (mentor)

Number of commits found: 10

Login
User Login
Create account

Servers and bandwidth provided by
New York Internet, SuperNews, and RootBSD

This site
What is FreshPorts?
About the authors
FAQ
How big is it?
The latest upgrade!
Privacy
Forums
Blog
Contact

Search
Enter Keywords:
 
more...

Latest Vulnerabilities
dnscrypt-proxy*Feb 14
horde-baseFeb 14
pear-Horde_CoreFeb 14
qemu*Feb 13
qemu*Feb 13
qemu*Feb 13
qemu*Feb 13
qemu*Feb 13
qemu-devel*Feb 13
qemu-devel*Feb 13
qemu-devel*Feb 13
qemu-devel*Feb 13
qemu-devel*Feb 13
qemu-sbruno*Feb 13
qemu-sbruno*Feb 13

32 vulnerabilities affecting 85 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds

Statistics
Graphs
NEW Graphs (Javascript)
Traffic

Calculated hourly:
Port count 25725
Broken 361
Deprecated 156
Ignore 636
Forbidden 0
Restricted 206
No CDROM 87
Vulnerable 58
Expired 69
Set to expire 137
Interactive 0
new 24 hours 7
new 48 hours11
new 7 days30
new fortnight58
new month128

Servers and bandwidth provided by
New York Internet, SuperNews, and RootBSD
Valid HTML, CSS, and RSS.
Copyright © 2000-2014 Dan Langille. All rights reserved.