Login or Register to Ask a Question and Join Our Community


Software Releases - RSS News

Ivy C compiler 1.0 (Default branch)

Login to Discuss or Reply to this Discussion in Our Community

 
Thread Tools Search this Thread
Special Forums News, Links, Events and Announcements Software Releases - RSS News Ivy C compiler 1.0 (Default branch)
# 1  
Old 10-15-2008
Ivy C compiler 1.0 (Default branch)
Ivy is a compiler and runtime library for anextended dialect of C that checks type, memory,and concurrency safety. Ivy supports the full Clanguage, and relies on a small number oflightweight annotations in the source code to keeptime and space overheads reasonable. Ivy isimplemented as a C-to-C compiler using gcc as itsbackend.License: BSD License (revised)Changes:
This is the first public release of Ivy. Itincorporates the previously available Deputy(type-safety for C) and HeapSafe(memory-management safety for C) projects. It addsa new component, SharC, which allows you to checkthat your threaded C programs share data as youintended. In particular, it prevents and/ordetects all data races. SharC is in a moreexperimental state and may impose significantruntime overheads in some programs.Image

Image

More...
Login or Register to Ask a Question

Previous Thread | Next Thread
Login or Register to Ask a Question

LEARN ABOUT DEBIAN

sc-config

SC-CONFIG(1)						      General Commands Manual						      SC-CONFIG(1)

NAME

       sc-config - script to get information about the installed version of SC

SYNOPSIS

       sc-config  [--prefix[=DIR]  ]  [--exec-prefix[=DIR]  ]  [--version]  [--libs]  [--cppflags]  [--cc] [--cflags] [--cxx] [--cxxflags] [--f77]
       [--f77flags]

DESCRIPTION

       The sc-config program can be used to obtain the compilers, compiler options and libraries needed to use the SC (Scientific Computing) tool-
       kit from your program.

OPTIONS

       The sc-config program returns information about how SC was compiled and installed. The following information is available:

       --prefix
	       The directory where SC is installed.

       --version
	       The version of SC.

       --libdir
	       The directory were the libraries are found.

       --libs  The libraries and library paths needed to link.

       --cppflags
	       The include directories needed to build.

       --cc    The C compiler.

       --cflags
	       The C compiler flags.

       --cxx   The C++ compiler.

       --cxxflags
	       The C++ compiler flags.

       --f77   The FORTRAN 77 compiler.

       --f77flags
	       The FORTRAN 77 compiler flags.

EXAMPLES

       To use the sc-config program to link your executable to SC, use a Makefile for GNU make similar to the following:

	      SCCONFIG = /usr/bin/sc-config
	      CXX := $(shell $(SCCONFIG) --cxx)
	      CXXFLAGS := $(shell $(SCCONFIG) --cxxflags)
	      CPPFLAGS := $(shell $(SCCONFIG) --cppflags)
	      LIBS := $(shell $(SCCONFIG) --libs)

	      myprog: myprog.o
		      $(CXX) $(CXXFLAGS) -o $@ $^ $(LIBS)

Version 2							    15 Feb 2001 						      SC-CONFIG(1)