Port details on branch 2022Q3 |
- kroc The Kent Retargetable occam-pi Compiler
- 1.5.r6372_6 lang
=0 1.5.r6372_6Version of this port present on the latest quarterly branch.
- BROKEN: Fails to build
DEPRECATED: Broken for more than 6 months This port expired on: 2014-10-28 IGNORE: is marked as broken: Fails to build
- Maintainer: tdb@FreeBSD.org
- Port Added: 2006-01-16 11:16:39
- Last Update: 2014-10-28 22:24:26
- SVN Revision: 371653
- License: not specified in port
- WWW:
- http://www.cs.kent.ac.uk/projects/ofa/kroc/
- Description:
- KRoC, the Kent Retargettable occam-pi Compiler, is a collection
of programs/libraries which facilitates the execution of occam-pi
programs on various platforms. The main components are:
* occ21, an occam-pi compiler derived from the Inmos occam 2 compiler
* tranx86, an ETC-to-native-code translator
* CCSP, an occam-pi runtime
* The Transterpreter Virtual Machine (TVM), a portable runtime for
occam-pi bytecode (unsupported by CIF)
* CIF, a C interface to CCSP
* standard libraries such as course, filelib, socklib, inmoslibs and
pony
* OccamDoc, a documentation extraction tool for occam
As well as these are various libraries, example programs, fun
animations, etc.
WWW: http://www.cs.kent.ac.uk/projects/ofa/kroc/
-
cgit ¦ GitHub ¦ GitHub ¦ GitLab ¦
- Manual pages:
- FreshPorts has no man page information for this port.
- pkg-plist: as obtained via:
make generate-plist - There is no configure plist information for this port.
- Dependency lines:
-
- No installation instructions:
- This port has been deleted.
- PKGNAME: kroc
- Flavors: there is no flavor information for this port.
- ONLY_FOR_ARCHS: i386
- distinfo:
- There is no distinfo for this port.
No package information for this port in our database- Sometimes this happens. Not all ports have packages.
- Dependencies
- NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
- Build dependencies:
-
- bash : shells/bash
- sdl-config : devel/sdl12
- pkgconf : devel/pkgconf
- python2.7 : lang/python27
- glproto.pc : x11/glproto
- dri2proto.pc : x11/dri2proto
- xmu.pc : x11-toolkits/libXmu
- xi.pc : x11/libXi
- automake-1.14 : devel/automake
- autoconf-2.69 : devel/autoconf
- Runtime dependencies:
-
- bash : shells/bash
- python2.7 : lang/python27
- xmu.pc : x11-toolkits/libXmu
- xi.pc : x11/libXi
- Library dependencies:
-
- libpng15.so : graphics/png
- libSDL.so : devel/sdl12
- libSDL_sound.so : audio/sdl_sound
- libGLU.so : graphics/libGLU
- libmysqlclient.so.18 : databases/mysql55-client
- libxml2.so : textproc/libxml2
- libxslt.so : textproc/libxslt
- There are no ports dependent upon this port
Configuration Options:
- No options to configure
- Options name:
- N/A
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
|