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.4 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.

WWW: https://github.com/CTSRD-CHERI/CheriVis
SVNWeb : Homepage : 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. gmake : devel/gmake
  2. gnustep-make>0 : devel/gnustep-make
  3. gnustep-back>0 : x11-toolkits/gnustep-back
Runtime dependencies:
  1. gnustep-back>0 : x11-toolkits/gnustep-back
Library dependencies:
  1. libcheritrace.so : devel/cheritrace-devel
  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/98c6c04?dummy=/

Number of commits found: 12

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
01 Apr 2016 14:00:57
Original commit files touched by this commit  0.4
Revision:412346
mat search for other commits by this committer
Remove ${PORTSDIR}/ from dependencies, categories d, e, f, and g.

With hat:	portmgr
Sponsored by:	Absolight
01 Mar 2016 10:08:46
Original commit files touched by this commit  0.4
Revision:409857
theraven search for other commits by this committer
Update CheriVis to the latest version.

This also switches CheriVis to depending on CHERI-LLVM (via cheritrace),
allowing it to correctly handle CHERI (not just MIPS) instructions.
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: 12

Login
User Login
Create account

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

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

Search
Enter Keywords:
 
more...

Latest Vulnerabilities
openvswitchMay 29
cactiMay 28
chromiumMay 28
chromiumMay 28
chromiumMay 28
php55May 28
php55-gdMay 28
php55-pharMay 28
php56May 28
php56-gdMay 28
php70-gdMay 28
php70-intlMay 28
mediawiki123May 24
mediawiki124May 24
mediawiki125May 24

10 vulnerabilities affecting 20 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 26092
Broken 286
Deprecated 58
Ignore 551
Forbidden 0
Restricted 202
No CDROM 85
Vulnerable 53
Expired 16
Set to expire 46
Interactive 0
new 24 hours 3
new 48 hours8
new 7 days34
new fortnight61
new month131

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