Filewatcher File Search File Search
Catalog
Content Search
» » » » »

libckit-smlnj

A library for parsing and type-checking C programs

ckit is a C front end written in SML that translates C source code (after preprocessing) into abstract syntax represented as a set of SML datatypes. It also provides facilities for extending the C language with additional syntactic constructs, which can be useful for implementing "C-like" domain-specific languages as well as C dialects.
Homepage:
Package version:110.67-4
Architecture:amd64
Distribution:Debian
Filename:libckit-smlnj_110.67-4_amd64.deb

/usr/share/doc/libckit-smlnj/README

ckit, a front end for C in SML
Version 1.0, 31 Mar 2000
------------------------------

0. Contact information
----------------------

   ckit mailing list: ckit@research.bell-labs.com
   Nevin Heintze: nch@research.bell-labs.com
   Dino Oliva: oliva@research.nj.nec.com
   Dave MacQueen: dbm@research.bell-labs.com


1. How to build it
------------------

Let CKIT be the directory containing the CK
more»

/usr/share/doc/libckit-smlnj/changelog.Debian.gz

smlnj (110.67-4) unstable; urgency=low

  * Don't create postinst/prerm scripts that would try to register
    smlnj-doc as a library.  (Closes: #502752)

 -- Kari Pahula <kaol@debian.org>  Sun, 19 Oct 2008 20:04:36 +0300

smlnj (110.67-3) unstable; urgency=high

  * Fixed an FTBFS due to missing ghostscript dependency in
    Build-Depends-Indep (transfig only Recommends it) (Closes: #486957)
  * 
more»

/usr/share/doc/libckit-smlnj/doc/todo

1. document key signatures and other files

  parser
+   parse-tree-sig.sml  (parse tree representation)
+   parser-sig.sml

  parser/util
+   error-sig.sml
+   sourcemap-sig.sml

  ast/pp  (pretty printing ast)
    pp-ast-sig.sml

  ast
    ast-sig.sml        (abstract syntax representation)
+   parse-to-ast-sig.sml
    (tables: tid, pid, aid, corresponding tables)

  src
    sources.cm


2. conf
more»

/usr/share/doc/libckit-smlnj/copyright

This package was debianized by Aaron Matthew Read <amread@nyx.net> on
Fri, 25 Oct 2002 16:54:10 -080
more»

/usr/share/doc/libckit-smlnj/BUGS.gz

ckit Bug List
=============
[Last updated: 3/31/00]

-----------------------------------------------
more»

Browse inside libckit-smlnj_110.67-4_amd64.deb

         [DIR]DEBIAN/ (4)  65535+ mirrors
         [DIR]usr/ (2)  65535+ mirrors

Download libckit-smlnj_110.67-4_amd64.deb

Results 1 - 1 of 1
Help - FTP Sites List - Software Dir.
Search over 15 billion files
© 1997-2016 FileWatcher.com