debian/0000755000000000000000000000000012225616055007172 5ustar debian/ats_env.10000644000000000000000000000241111341037432010703 0ustar .\" Hey, EMACS: -*- nroff -*- .\" First parameter, NAME, should be all caps .\" Second parameter, SECTION, should be 1-8, maybe w/ subsection .\" other parameters are allowed: see man(7), man(1) .TH ats_env 1 "February 22, 2010" .\" Please adjust this date whenever revising the manpage. .\" .\" Some roff macros, for reference: .\" .nh disable hyphenation .\" .hy enable hyphenation .\" .ad l left justify .\" .ad b justify to both left and right margins .\" .nf disable filling .\" .fi enable filling .\" .br insert line break .\" .sp insert n+1 empty lines .\" for manpage-specific macros, see man(7) .SH NAME ats_env \- Environment setup script for ATS/Anairiats compiler tools. .SH SYNOPSIS .B ats_env is for internal usage of the Anairiats suite of tools and should not need to be invoked by the user directly. .\" TeX users may be more comfortable with the \fB\fP and .\" \fI\fP escape sequences to invode bold face and italics, .\" respectively. .SH SEE ALSO .BR atscc (1), .BR atsopt (1), .BR atslex (1). .SH AUTHOR ats_env was written by Likai Liu. .PP This manual page was written by Matthew Danish , for the Debian project (and may be used by others). debian/ats-lang-anairiats-examples.examples0000644000000000000000000000006111502226245016215 0ustar debian/tmp/usr/lib/ats-anairiats-*/doc/EXAMPLE/* debian/atsopt.10000644000000000000000000000460011341037341010557 0ustar .\" Hey, EMACS: -*- nroff -*- .\" First parameter, NAME, should be all caps .\" Second parameter, SECTION, should be 1-8, maybe w/ subsection .\" other parameters are allowed: see man(7), man(1) .TH atsopt 1 "February 22, 2010" .\" Please adjust this date whenever revising the manpage. .\" .\" Some roff macros, for reference: .\" .nh disable hyphenation .\" .hy enable hyphenation .\" .ad l left justify .\" .ad b justify to both left and right margins .\" .nf disable filling .\" .fi enable filling .\" .br insert line break .\" .sp insert n+1 empty lines .\" for manpage-specific macros, see man(7) .SH NAME atsopt \- ATS to C compiler .SH SYNOPSIS .B atsopt .RI ... .SH DESCRIPTION .\" TeX users may be more comfortable with the \fB\fP and .\" \fI\fP escape sequences to invode bold face and italics, .\" respectively. .B atsopt is the compiler from ATS to C. It is most commonly invoked by .B atscc which is the preferred frontend for compiling ATS code. .SH COMMANDS .B atsopt takes a number of commands with parameters to determine its behavior: .TP .B \-d, \-\-dynamic Dynamically load the filenames. .TP .B \-\-debug=1 Enable generation of debugging information. .TP .B \-dep, \-\-depgen Generate dependency lists. .TP .B \-h, \-\-help Print the usage information. .TP .B \-o, \-\-output Specify the output filename. .TP .B \-\-posmark_html Generate an HTML file with colored concrete syntax. .TP .B \-\-posmark_xref Generate an HTML file with syntactic cross-references. .TP .B \-s, \-\-static Statically load the filenames. .TP .B \-tc, \-\-typecheck Typecheck the given ATS source files, but go no further. .TP .B \-v, \-\-version Show ATS/Anairiats version and gcc version. .SH EXAMPLES .PP .B atsopt -o test.c -d test.dats .PP Compile test.dats to a C file. .PP .B atsopt -tc -d test.dats .PP Typecheck test.dats only. .PP .B atsopt -o test.html -d test.dats --posmark_html .PP Write a syntax colored version of test.dats. .SH SEE ALSO .BR atscc (1), .BR atslex (1). .br These programs are documented fully by .B The ATS/Anairiats user's manual available via the web at http://www.ats-lang.org/ .SH AUTHOR atsopt was written by Hongwei Xi. .PP This manual page was written by Matthew Danish , for the Debian project (and may be used by others). debian/atslex.10000644000000000000000000000260111341037314010544 0ustar .\" Hey, EMACS: -*- nroff -*- .\" First parameter, NAME, should be all caps .\" Second parameter, SECTION, should be 1-8, maybe w/ subsection .\" other parameters are allowed: see man(7), man(1) .TH atslex 1 "February 22, 2010" .\" Please adjust this date whenever revising the manpage. .\" .\" Some roff macros, for reference: .\" .nh disable hyphenation .\" .hy enable hyphenation .\" .ad l left justify .\" .ad b justify to both left and right margins .\" .nf disable filling .\" .fi enable filling .\" .br insert line break .\" .sp insert n+1 empty lines .\" for manpage-specific macros, see man(7) .SH NAME atslex \- Lexer generator for ATS .SH SYNOPSIS .B atslex .RI \ <\ file.lats\ >\ file_lats.dats .SH DESCRIPTION .\" TeX users may be more comfortable with the \fB\fP and .\" \fI\fP escape sequences to invode bold face and italics, .\" respectively. .B atslex takes a lexer specification via .B stdin and outputs a dynamic ATS source file to .B stdout .SH SEE ALSO .BR atscc (1), .BR atsopt (1). .br These programs are documented fully by .B The ATS/Anairiats user's manual available via the web at http://www.ats-lang.org/ .SH AUTHOR atslex was written by Hongwei Xi. .PP This manual page was written by Matthew Danish , for the Debian project (and may be used by others). debian/ats-lang-anairiats-doc.doc-base.manual0000644000000000000000000000044411405254135016265 0ustar Document: ats-lang-anairiats-manual Title: The ATS language manual Author: Hongwei Xi Abstract: The language reference manual for the programming language ATS and the compiler Anairiats. Section: Programming Format: PDF Files: /usr/share/doc/ats-lang-anairiats-doc/manual/manual_main.pdf.gz debian/ats-lang-anairiats.docs0000644000000000000000000000001411344336402013512 0ustar VERSION.txt debian/patches/0000755000000000000000000000000012225615343010620 5ustar debian/patches/fix-tests0000644000000000000000000000142312225615343012471 0ustar --- a/doc/EXAMPLE/TEST/Makefile +++ b/doc/EXAMPLE/TEST/Makefile @@ -74,11 +74,6 @@ $(ATSCC) -O2 -o $@ $< && ./prelude_list_vt cleanall:: ; $(RMF) prelude_list_vt -checkall:: prelude_dlist_vt -prelude_dlist_vt: prelude_dlist_vt.dats - $(ATSCC) -O2 -o $@ $< && ./prelude_dlist_vt -cleanall:: ; $(RMF) prelude_dlist_vt - checkall:: prelude_matrix prelude_matrix: prelude_matrix.dats $(ATSCC) -O2 -o $@ $< && ./prelude_matrix @@ -358,13 +353,6 @@ ###### -checkall:: libats_lockref_spin -libats_lockref_spin: libats_lockref_spin.dats - $(ATSCC) -D_ATS_MULTITHREAD -O2 -o $@ $< -lpthread -lats_mt && ./libats_lockref_spin -cleanall:: ; $(RMF) libats_lockref_spin - -###### - checkall:: libats_rarray libats_rarray: libats_rarray.dats $(ATSCC) -O2 -o $@ $< && ./libats_rarray debian/patches/series0000644000000000000000000000020512225615312012026 0ustar fix-tests do-contrib install-sh-and-missing lib-version-dir fix-example-makefiles blas-test-fixes hardening remove-autoconf-makefile debian/patches/lib-version-dir0000644000000000000000000000037212225605237013553 0ustar --- a/contrib/clapack/TEST/Makefile +++ b/contrib/clapack/TEST/Makefile @@ -10,7 +10,7 @@ ATSLIBQ="$(ATSHOME)" ifeq ("$(ATSHOME)","") ATSUSRQ="/usr" -ATSLIBQ="/usr/lib/ats-anairiats-0.2.3" +ATSLIBQ="/usr/lib/ats-anairiats-0.2.11" endif ###### debian/patches/blas-test-fixes0000644000000000000000000000036512075060523013556 0ustar --- a/contrib/cblas/TEST/Makefile +++ b/contrib/cblas/TEST/Makefile @@ -10,7 +10,7 @@ ATSLIBQ="$(ATSHOME)" ifeq ("$(ATSHOME)","") ATSUSRQ="/usr" -ATSLIBQ="/usr/lib/ats-anairiats-0.2.5" +ATSLIBQ="/usr/lib/ats-anairiats-0.2.9" endif ###### debian/patches/install-sh-and-missing0000644000000000000000000006273112075061215015035 0ustar --- /dev/null +++ b/install-sh @@ -0,0 +1,520 @@ +#!/bin/sh +# install - install a program, script, or datafile + +scriptversion=2009-04-28.21; # UTC + +# This originates from X11R5 (mit/util/scripts/install.sh), which was +# later released in X11R6 (xc/config/util/install.sh) with the +# following copyright and license. +# +# Copyright (C) 1994 X Consortium +# +# Permission is hereby granted, free of charge, to any person obtaining a copy +# of this software and associated documentation files (the "Software"), to +# deal in the Software without restriction, including without limitation the +# rights to use, copy, modify, merge, publish, distribute, sublicense, and/or +# sell copies of the Software, and to permit persons to whom the Software is +# furnished to do so, subject to the following conditions: +# +# The above copyright notice and this permission notice shall be included in +# all copies or substantial portions of the Software. +# +# THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR +# IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, +# FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE +# X CONSORTIUM BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN +# AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNEC- +# TION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE. +# +# Except as contained in this notice, the name of the X Consortium shall not +# be used in advertising or otherwise to promote the sale, use or other deal- +# ings in this Software without prior written authorization from the X Consor- +# tium. +# +# +# FSF changes to this file are in the public domain. +# +# Calling this script install-sh is preferred over install.sh, to prevent +# `make' implicit rules from creating a file called install from it +# when there is no Makefile. +# +# This script is compatible with the BSD install script, but was written +# from scratch. + +nl=' +' +IFS=" "" $nl" + +# set DOITPROG to echo to test this script + +# Don't use :- since 4.3BSD and earlier shells don't like it. +doit=${DOITPROG-} +if test -z "$doit"; then + doit_exec=exec +else + doit_exec=$doit +fi + +# Put in absolute file names if you don't have them in your path; +# or use environment vars. + +chgrpprog=${CHGRPPROG-chgrp} +chmodprog=${CHMODPROG-chmod} +chownprog=${CHOWNPROG-chown} +cmpprog=${CMPPROG-cmp} +cpprog=${CPPROG-cp} +mkdirprog=${MKDIRPROG-mkdir} +mvprog=${MVPROG-mv} +rmprog=${RMPROG-rm} +stripprog=${STRIPPROG-strip} + +posix_glob='?' +initialize_posix_glob=' + test "$posix_glob" != "?" || { + if (set -f) 2>/dev/null; then + posix_glob= + else + posix_glob=: + fi + } +' + +posix_mkdir= + +# Desired mode of installed file. +mode=0755 + +chgrpcmd= +chmodcmd=$chmodprog +chowncmd= +mvcmd=$mvprog +rmcmd="$rmprog -f" +stripcmd= + +src= +dst= +dir_arg= +dst_arg= + +copy_on_change=false +no_target_directory= + +usage="\ +Usage: $0 [OPTION]... [-T] SRCFILE DSTFILE + or: $0 [OPTION]... SRCFILES... DIRECTORY + or: $0 [OPTION]... -t DIRECTORY SRCFILES... + or: $0 [OPTION]... -d DIRECTORIES... + +In the 1st form, copy SRCFILE to DSTFILE. +In the 2nd and 3rd, copy all SRCFILES to DIRECTORY. +In the 4th, create DIRECTORIES. + +Options: + --help display this help and exit. + --version display version info and exit. + + -c (ignored) + -C install only if different (preserve the last data modification time) + -d create directories instead of installing files. + -g GROUP $chgrpprog installed files to GROUP. + -m MODE $chmodprog installed files to MODE. + -o USER $chownprog installed files to USER. + -s $stripprog installed files. + -t DIRECTORY install into DIRECTORY. + -T report an error if DSTFILE is a directory. + +Environment variables override the default commands: + CHGRPPROG CHMODPROG CHOWNPROG CMPPROG CPPROG MKDIRPROG MVPROG + RMPROG STRIPPROG +" + +while test $# -ne 0; do + case $1 in + -c) ;; + + -C) copy_on_change=true;; + + -d) dir_arg=true;; + + -g) chgrpcmd="$chgrpprog $2" + shift;; + + --help) echo "$usage"; exit $?;; + + -m) mode=$2 + case $mode in + *' '* | *' '* | *' +'* | *'*'* | *'?'* | *'['*) + echo "$0: invalid mode: $mode" >&2 + exit 1;; + esac + shift;; + + -o) chowncmd="$chownprog $2" + shift;; + + -s) stripcmd=$stripprog;; + + -t) dst_arg=$2 + shift;; + + -T) no_target_directory=true;; + + --version) echo "$0 $scriptversion"; exit $?;; + + --) shift + break;; + + -*) echo "$0: invalid option: $1" >&2 + exit 1;; + + *) break;; + esac + shift +done + +if test $# -ne 0 && test -z "$dir_arg$dst_arg"; then + # When -d is used, all remaining arguments are directories to create. + # When -t is used, the destination is already specified. + # Otherwise, the last argument is the destination. Remove it from $@. + for arg + do + if test -n "$dst_arg"; then + # $@ is not empty: it contains at least $arg. + set fnord "$@" "$dst_arg" + shift # fnord + fi + shift # arg + dst_arg=$arg + done +fi + +if test $# -eq 0; then + if test -z "$dir_arg"; then + echo "$0: no input file specified." >&2 + exit 1 + fi + # It's OK to call `install-sh -d' without argument. + # This can happen when creating conditional directories. + exit 0 +fi + +if test -z "$dir_arg"; then + trap '(exit $?); exit' 1 2 13 15 + + # Set umask so as not to create temps with too-generous modes. + # However, 'strip' requires both read and write access to temps. + case $mode in + # Optimize common cases. + *644) cp_umask=133;; + *755) cp_umask=22;; + + *[0-7]) + if test -z "$stripcmd"; then + u_plus_rw= + else + u_plus_rw='% 200' + fi + cp_umask=`expr '(' 777 - $mode % 1000 ')' $u_plus_rw`;; + *) + if test -z "$stripcmd"; then + u_plus_rw= + else + u_plus_rw=,u+rw + fi + cp_umask=$mode$u_plus_rw;; + esac +fi + +for src +do + # Protect names starting with `-'. + case $src in + -*) src=./$src;; + esac + + if test -n "$dir_arg"; then + dst=$src + dstdir=$dst + test -d "$dstdir" + dstdir_status=$? + else + + # Waiting for this to be detected by the "$cpprog $src $dsttmp" command + # might cause directories to be created, which would be especially bad + # if $src (and thus $dsttmp) contains '*'. + if test ! -f "$src" && test ! -d "$src"; then + echo "$0: $src does not exist." >&2 + exit 1 + fi + + if test -z "$dst_arg"; then + echo "$0: no destination specified." >&2 + exit 1 + fi + + dst=$dst_arg + # Protect names starting with `-'. + case $dst in + -*) dst=./$dst;; + esac + + # If destination is a directory, append the input filename; won't work + # if double slashes aren't ignored. + if test -d "$dst"; then + if test -n "$no_target_directory"; then + echo "$0: $dst_arg: Is a directory" >&2 + exit 1 + fi + dstdir=$dst + dst=$dstdir/`basename "$src"` + dstdir_status=0 + else + # Prefer dirname, but fall back on a substitute if dirname fails. + dstdir=` + (dirname "$dst") 2>/dev/null || + expr X"$dst" : 'X\(.*[^/]\)//*[^/][^/]*/*$' \| \ + X"$dst" : 'X\(//\)[^/]' \| \ + X"$dst" : 'X\(//\)$' \| \ + X"$dst" : 'X\(/\)' \| . 2>/dev/null || + echo X"$dst" | + sed '/^X\(.*[^/]\)\/\/*[^/][^/]*\/*$/{ + s//\1/ + q + } + /^X\(\/\/\)[^/].*/{ + s//\1/ + q + } + /^X\(\/\/\)$/{ + s//\1/ + q + } + /^X\(\/\).*/{ + s//\1/ + q + } + s/.*/./; q' + ` + + test -d "$dstdir" + dstdir_status=$? + fi + fi + + obsolete_mkdir_used=false + + if test $dstdir_status != 0; then + case $posix_mkdir in + '') + # Create intermediate dirs using mode 755 as modified by the umask. + # This is like FreeBSD 'install' as of 1997-10-28. + umask=`umask` + case $stripcmd.$umask in + # Optimize common cases. + *[2367][2367]) mkdir_umask=$umask;; + .*0[02][02] | .[02][02] | .[02]) mkdir_umask=22;; + + *[0-7]) + mkdir_umask=`expr $umask + 22 \ + - $umask % 100 % 40 + $umask % 20 \ + - $umask % 10 % 4 + $umask % 2 + `;; + *) mkdir_umask=$umask,go-w;; + esac + + # With -d, create the new directory with the user-specified mode. + # Otherwise, rely on $mkdir_umask. + if test -n "$dir_arg"; then + mkdir_mode=-m$mode + else + mkdir_mode= + fi + + posix_mkdir=false + case $umask in + *[123567][0-7][0-7]) + # POSIX mkdir -p sets u+wx bits regardless of umask, which + # is incompatible with FreeBSD 'install' when (umask & 300) != 0. + ;; + *) + tmpdir=${TMPDIR-/tmp}/ins$RANDOM-$$ + trap 'ret=$?; rmdir "$tmpdir/d" "$tmpdir" 2>/dev/null; exit $ret' 0 + + if (umask $mkdir_umask && + exec $mkdirprog $mkdir_mode -p -- "$tmpdir/d") >/dev/null 2>&1 + then + if test -z "$dir_arg" || { + # Check for POSIX incompatibilities with -m. + # HP-UX 11.23 and IRIX 6.5 mkdir -m -p sets group- or + # other-writeable bit of parent directory when it shouldn't. + # FreeBSD 6.1 mkdir -m -p sets mode of existing directory. + ls_ld_tmpdir=`ls -ld "$tmpdir"` + case $ls_ld_tmpdir in + d????-?r-*) different_mode=700;; + d????-?--*) different_mode=755;; + *) false;; + esac && + $mkdirprog -m$different_mode -p -- "$tmpdir" && { + ls_ld_tmpdir_1=`ls -ld "$tmpdir"` + test "$ls_ld_tmpdir" = "$ls_ld_tmpdir_1" + } + } + then posix_mkdir=: + fi + rmdir "$tmpdir/d" "$tmpdir" + else + # Remove any dirs left behind by ancient mkdir implementations. + rmdir ./$mkdir_mode ./-p ./-- 2>/dev/null + fi + trap '' 0;; + esac;; + esac + + if + $posix_mkdir && ( + umask $mkdir_umask && + $doit_exec $mkdirprog $mkdir_mode -p -- "$dstdir" + ) + then : + else + + # The umask is ridiculous, or mkdir does not conform to POSIX, + # or it failed possibly due to a race condition. Create the + # directory the slow way, step by step, checking for races as we go. + + case $dstdir in + /*) prefix='/';; + -*) prefix='./';; + *) prefix='';; + esac + + eval "$initialize_posix_glob" + + oIFS=$IFS + IFS=/ + $posix_glob set -f + set fnord $dstdir + shift + $posix_glob set +f + IFS=$oIFS + + prefixes= + + for d + do + test -z "$d" && continue + + prefix=$prefix$d + if test -d "$prefix"; then + prefixes= + else + if $posix_mkdir; then + (umask=$mkdir_umask && + $doit_exec $mkdirprog $mkdir_mode -p -- "$dstdir") && break + # Don't fail if two instances are running concurrently. + test -d "$prefix" || exit 1 + else + case $prefix in + *\'*) qprefix=`echo "$prefix" | sed "s/'/'\\\\\\\\''/g"`;; + *) qprefix=$prefix;; + esac + prefixes="$prefixes '$qprefix'" + fi + fi + prefix=$prefix/ + done + + if test -n "$prefixes"; then + # Don't fail if two instances are running concurrently. + (umask $mkdir_umask && + eval "\$doit_exec \$mkdirprog $prefixes") || + test -d "$dstdir" || exit 1 + obsolete_mkdir_used=true + fi + fi + fi + + if test -n "$dir_arg"; then + { test -z "$chowncmd" || $doit $chowncmd "$dst"; } && + { test -z "$chgrpcmd" || $doit $chgrpcmd "$dst"; } && + { test "$obsolete_mkdir_used$chowncmd$chgrpcmd" = false || + test -z "$chmodcmd" || $doit $chmodcmd $mode "$dst"; } || exit 1 + else + + # Make a couple of temp file names in the proper directory. + dsttmp=$dstdir/_inst.$$_ + rmtmp=$dstdir/_rm.$$_ + + # Trap to clean up those temp files at exit. + trap 'ret=$?; rm -f "$dsttmp" "$rmtmp" && exit $ret' 0 + + # Copy the file name to the temp name. + (umask $cp_umask && $doit_exec $cpprog "$src" "$dsttmp") && + + # and set any options; do chmod last to preserve setuid bits. + # + # If any of these fail, we abort the whole thing. If we want to + # ignore errors from any of these, just make sure not to ignore + # errors from the above "$doit $cpprog $src $dsttmp" command. + # + { test -z "$chowncmd" || $doit $chowncmd "$dsttmp"; } && + { test -z "$chgrpcmd" || $doit $chgrpcmd "$dsttmp"; } && + { test -z "$stripcmd" || $doit $stripcmd "$dsttmp"; } && + { test -z "$chmodcmd" || $doit $chmodcmd $mode "$dsttmp"; } && + + # If -C, don't bother to copy if it wouldn't change the file. + if $copy_on_change && + old=`LC_ALL=C ls -dlL "$dst" 2>/dev/null` && + new=`LC_ALL=C ls -dlL "$dsttmp" 2>/dev/null` && + + eval "$initialize_posix_glob" && + $posix_glob set -f && + set X $old && old=:$2:$4:$5:$6 && + set X $new && new=:$2:$4:$5:$6 && + $posix_glob set +f && + + test "$old" = "$new" && + $cmpprog "$dst" "$dsttmp" >/dev/null 2>&1 + then + rm -f "$dsttmp" + else + # Rename the file to the real destination. + $doit $mvcmd -f "$dsttmp" "$dst" 2>/dev/null || + + # The rename failed, perhaps because mv can't rename something else + # to itself, or perhaps because mv is so ancient that it does not + # support -f. + { + # Now remove or move aside any old file at destination location. + # We try this two ways since rm can't unlink itself on some + # systems and the destination file might be busy for other + # reasons. In this case, the final cleanup might fail but the new + # file should still install successfully. + { + test ! -f "$dst" || + $doit $rmcmd -f "$dst" 2>/dev/null || + { $doit $mvcmd -f "$dst" "$rmtmp" 2>/dev/null && + { $doit $rmcmd -f "$rmtmp" 2>/dev/null; :; } + } || + { echo "$0: cannot unlink or rename $dst" >&2 + (exit 1); exit 1 + } + } && + + # Now rename the file to the real destination. + $doit $mvcmd "$dsttmp" "$dst" + } + fi || exit 1 + + trap '' 0 + fi +done + +# Local variables: +# eval: (add-hook 'write-file-hooks 'time-stamp) +# time-stamp-start: "scriptversion=" +# time-stamp-format: "%:y-%02m-%02d.%02H" +# time-stamp-time-zone: "UTC" +# time-stamp-end: "; # UTC" +# End: --- /dev/null +++ b/missing @@ -0,0 +1,376 @@ +#! /bin/sh +# Common stub for a few missing GNU programs while installing. + +scriptversion=2009-04-28.21; # UTC + +# Copyright (C) 1996, 1997, 1999, 2000, 2002, 2003, 2004, 2005, 2006, +# 2008, 2009 Free Software Foundation, Inc. +# Originally by Fran,cois Pinard , 1996. + +# This program is free software; you can redistribute it and/or modify +# it under the terms of the GNU General Public License as published by +# the Free Software Foundation; either version 2, or (at your option) +# any later version. + +# This program is distributed in the hope that it will be useful, +# but WITHOUT ANY WARRANTY; without even the implied warranty of +# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +# GNU General Public License for more details. + +# You should have received a copy of the GNU General Public License +# along with this program. If not, see . + +# As a special exception to the GNU General Public License, if you +# distribute this file as part of a program that contains a +# configuration script generated by Autoconf, you may include it under +# the same distribution terms that you use for the rest of that program. + +if test $# -eq 0; then + echo 1>&2 "Try \`$0 --help' for more information" + exit 1 +fi + +run=: +sed_output='s/.* --output[ =]\([^ ]*\).*/\1/p' +sed_minuso='s/.* -o \([^ ]*\).*/\1/p' + +# In the cases where this matters, `missing' is being run in the +# srcdir already. +if test -f configure.ac; then + configure_ac=configure.ac +else + configure_ac=configure.in +fi + +msg="missing on your system" + +case $1 in +--run) + # Try to run requested program, and just exit if it succeeds. + run= + shift + "$@" && exit 0 + # Exit code 63 means version mismatch. This often happens + # when the user try to use an ancient version of a tool on + # a file that requires a minimum version. In this case we + # we should proceed has if the program had been absent, or + # if --run hadn't been passed. + if test $? = 63; then + run=: + msg="probably too old" + fi + ;; + + -h|--h|--he|--hel|--help) + echo "\ +$0 [OPTION]... PROGRAM [ARGUMENT]... + +Handle \`PROGRAM [ARGUMENT]...' for when PROGRAM is missing, or return an +error status if there is no known handling for PROGRAM. + +Options: + -h, --help display this help and exit + -v, --version output version information and exit + --run try to run the given command, and emulate it if it fails + +Supported PROGRAM values: + aclocal touch file \`aclocal.m4' + autoconf touch file \`configure' + autoheader touch file \`config.h.in' + autom4te touch the output file, or create a stub one + automake touch all \`Makefile.in' files + bison create \`y.tab.[ch]', if possible, from existing .[ch] + flex create \`lex.yy.c', if possible, from existing .c + help2man touch the output file + lex create \`lex.yy.c', if possible, from existing .c + makeinfo touch the output file + tar try tar, gnutar, gtar, then tar without non-portable flags + yacc create \`y.tab.[ch]', if possible, from existing .[ch] + +Version suffixes to PROGRAM as well as the prefixes \`gnu-', \`gnu', and +\`g' are ignored when checking the name. + +Send bug reports to ." + exit $? + ;; + + -v|--v|--ve|--ver|--vers|--versi|--versio|--version) + echo "missing $scriptversion (GNU Automake)" + exit $? + ;; + + -*) + echo 1>&2 "$0: Unknown \`$1' option" + echo 1>&2 "Try \`$0 --help' for more information" + exit 1 + ;; + +esac + +# normalize program name to check for. +program=`echo "$1" | sed ' + s/^gnu-//; t + s/^gnu//; t + s/^g//; t'` + +# Now exit if we have it, but it failed. Also exit now if we +# don't have it and --version was passed (most likely to detect +# the program). This is about non-GNU programs, so use $1 not +# $program. +case $1 in + lex*|yacc*) + # Not GNU programs, they don't have --version. + ;; + + tar*) + if test -n "$run"; then + echo 1>&2 "ERROR: \`tar' requires --run" + exit 1 + elif test "x$2" = "x--version" || test "x$2" = "x--help"; then + exit 1 + fi + ;; + + *) + if test -z "$run" && ($1 --version) > /dev/null 2>&1; then + # We have it, but it failed. + exit 1 + elif test "x$2" = "x--version" || test "x$2" = "x--help"; then + # Could not run --version or --help. This is probably someone + # running `$TOOL --version' or `$TOOL --help' to check whether + # $TOOL exists and not knowing $TOOL uses missing. + exit 1 + fi + ;; +esac + +# If it does not exist, or fails to run (possibly an outdated version), +# try to emulate it. +case $program in + aclocal*) + echo 1>&2 "\ +WARNING: \`$1' is $msg. You should only need it if + you modified \`acinclude.m4' or \`${configure_ac}'. You might want + to install the \`Automake' and \`Perl' packages. Grab them from + any GNU archive site." + touch aclocal.m4 + ;; + + autoconf*) + echo 1>&2 "\ +WARNING: \`$1' is $msg. You should only need it if + you modified \`${configure_ac}'. You might want to install the + \`Autoconf' and \`GNU m4' packages. Grab them from any GNU + archive site." + touch configure + ;; + + autoheader*) + echo 1>&2 "\ +WARNING: \`$1' is $msg. You should only need it if + you modified \`acconfig.h' or \`${configure_ac}'. You might want + to install the \`Autoconf' and \`GNU m4' packages. Grab them + from any GNU archive site." + files=`sed -n 's/^[ ]*A[CM]_CONFIG_HEADER(\([^)]*\)).*/\1/p' ${configure_ac}` + test -z "$files" && files="config.h" + touch_files= + for f in $files; do + case $f in + *:*) touch_files="$touch_files "`echo "$f" | + sed -e 's/^[^:]*://' -e 's/:.*//'`;; + *) touch_files="$touch_files $f.in";; + esac + done + touch $touch_files + ;; + + automake*) + echo 1>&2 "\ +WARNING: \`$1' is $msg. You should only need it if + you modified \`Makefile.am', \`acinclude.m4' or \`${configure_ac}'. + You might want to install the \`Automake' and \`Perl' packages. + Grab them from any GNU archive site." + find . -type f -name Makefile.am -print | + sed 's/\.am$/.in/' | + while read f; do touch "$f"; done + ;; + + autom4te*) + echo 1>&2 "\ +WARNING: \`$1' is needed, but is $msg. + You might have modified some files without having the + proper tools for further handling them. + You can get \`$1' as part of \`Autoconf' from any GNU + archive site." + + file=`echo "$*" | sed -n "$sed_output"` + test -z "$file" && file=`echo "$*" | sed -n "$sed_minuso"` + if test -f "$file"; then + touch $file + else + test -z "$file" || exec >$file + echo "#! /bin/sh" + echo "# Created by GNU Automake missing as a replacement of" + echo "# $ $@" + echo "exit 0" + chmod +x $file + exit 1 + fi + ;; + + bison*|yacc*) + echo 1>&2 "\ +WARNING: \`$1' $msg. You should only need it if + you modified a \`.y' file. You may need the \`Bison' package + in order for those modifications to take effect. You can get + \`Bison' from any GNU archive site." + rm -f y.tab.c y.tab.h + if test $# -ne 1; then + eval LASTARG="\${$#}" + case $LASTARG in + *.y) + SRCFILE=`echo "$LASTARG" | sed 's/y$/c/'` + if test -f "$SRCFILE"; then + cp "$SRCFILE" y.tab.c + fi + SRCFILE=`echo "$LASTARG" | sed 's/y$/h/'` + if test -f "$SRCFILE"; then + cp "$SRCFILE" y.tab.h + fi + ;; + esac + fi + if test ! -f y.tab.h; then + echo >y.tab.h + fi + if test ! -f y.tab.c; then + echo 'main() { return 0; }' >y.tab.c + fi + ;; + + lex*|flex*) + echo 1>&2 "\ +WARNING: \`$1' is $msg. You should only need it if + you modified a \`.l' file. You may need the \`Flex' package + in order for those modifications to take effect. You can get + \`Flex' from any GNU archive site." + rm -f lex.yy.c + if test $# -ne 1; then + eval LASTARG="\${$#}" + case $LASTARG in + *.l) + SRCFILE=`echo "$LASTARG" | sed 's/l$/c/'` + if test -f "$SRCFILE"; then + cp "$SRCFILE" lex.yy.c + fi + ;; + esac + fi + if test ! -f lex.yy.c; then + echo 'main() { return 0; }' >lex.yy.c + fi + ;; + + help2man*) + echo 1>&2 "\ +WARNING: \`$1' is $msg. You should only need it if + you modified a dependency of a manual page. You may need the + \`Help2man' package in order for those modifications to take + effect. You can get \`Help2man' from any GNU archive site." + + file=`echo "$*" | sed -n "$sed_output"` + test -z "$file" && file=`echo "$*" | sed -n "$sed_minuso"` + if test -f "$file"; then + touch $file + else + test -z "$file" || exec >$file + echo ".ab help2man is required to generate this page" + exit $? + fi + ;; + + makeinfo*) + echo 1>&2 "\ +WARNING: \`$1' is $msg. You should only need it if + you modified a \`.texi' or \`.texinfo' file, or any other file + indirectly affecting the aspect of the manual. The spurious + call might also be the consequence of using a buggy \`make' (AIX, + DU, IRIX). You might want to install the \`Texinfo' package or + the \`GNU make' package. Grab either from any GNU archive site." + # The file to touch is that specified with -o ... + file=`echo "$*" | sed -n "$sed_output"` + test -z "$file" && file=`echo "$*" | sed -n "$sed_minuso"` + if test -z "$file"; then + # ... or it is the one specified with @setfilename ... + infile=`echo "$*" | sed 's/.* \([^ ]*\) *$/\1/'` + file=`sed -n ' + /^@setfilename/{ + s/.* \([^ ]*\) *$/\1/ + p + q + }' $infile` + # ... or it is derived from the source name (dir/f.texi becomes f.info) + test -z "$file" && file=`echo "$infile" | sed 's,.*/,,;s,.[^.]*$,,'`.info + fi + # If the file does not exist, the user really needs makeinfo; + # let's fail without touching anything. + test -f $file || exit 1 + touch $file + ;; + + tar*) + shift + + # We have already tried tar in the generic part. + # Look for gnutar/gtar before invocation to avoid ugly error + # messages. + if (gnutar --version > /dev/null 2>&1); then + gnutar "$@" && exit 0 + fi + if (gtar --version > /dev/null 2>&1); then + gtar "$@" && exit 0 + fi + firstarg="$1" + if shift; then + case $firstarg in + *o*) + firstarg=`echo "$firstarg" | sed s/o//` + tar "$firstarg" "$@" && exit 0 + ;; + esac + case $firstarg in + *h*) + firstarg=`echo "$firstarg" | sed s/h//` + tar "$firstarg" "$@" && exit 0 + ;; + esac + fi + + echo 1>&2 "\ +WARNING: I can't seem to be able to run \`tar' with the given arguments. + You may want to install GNU tar or Free paxutils, or check the + command line arguments." + exit 1 + ;; + + *) + echo 1>&2 "\ +WARNING: \`$1' is needed, and is $msg. + You might have modified some files without having the + proper tools for further handling them. Check the \`README' file, + it often tells you about the needed prerequisites for installing + this package. You may also peek at any GNU archive site, in case + some other package would contain this missing \`$1' program." + exit 1 + ;; +esac + +exit 0 + +# Local variables: +# eval: (add-hook 'write-file-hooks 'time-stamp) +# time-stamp-start: "scriptversion=" +# time-stamp-format: "%:y-%02m-%02d.%02H" +# time-stamp-time-zone: "UTC" +# time-stamp-end: "; # UTC" +# End: debian/patches/do-contrib0000644000000000000000000000127512225613460012606 0ustar --- a/Makefile +++ b/Makefile @@ -181,20 +181,13 @@ ###### contrib libraries ###### contrib:: -# ifeq (1,1) -# $(MAKE) -C contrib/parcomb all -# endif -# ifeq ($(HAVE_LIBGLIB20),1) -# $(MAKE) -C contrib/glib all -# endif -# ifeq ($(HAVE_LIBGTK20),1) -# $(MAKE) -C contrib/cairo all -# $(MAKE) -C contrib/pango all -# $(MAKE) -C contrib/GTK all -# endif -# ifeq ($(HAVE_LIBSDL10),1) -# $(MAKE) -C contrib/SDL all -# endif + $(MAKE) -C contrib/cblas all + $(MAKE) -C contrib/cblas/TEST cleanall + $(MAKE) -C contrib/clapack all + $(MAKE) -C contrib/parcomb all + $(MAKE) -C contrib/glib all + $(MAKE) -C contrib/pango all + $(MAKE) -C contrib/SDL all ###### some toplevel commands ###### debian/patches/lapack-test-fixes0000644000000000000000000000052611555345247014102 0ustar --- a/contrib/clapack/TEST/Makefile +++ b/contrib/clapack/TEST/Makefile @@ -41,7 +41,7 @@ checkall:: test_clapack test_clapack: test_clapack.dats - $(ATSCC) $(LIBFLAGS) -O3 -o $@ $< $(ATSCTRB) -llapack -lcblas \ + $(ATSCC) $(LIBFLAGS) -O3 -o $@ $< $(ATSCTRB) -llapack -lblas \ && ./test_clapack cleanall:: ; $(RMF) test_clapack debian/patches/hardening0000644000000000000000000000715012075344623012510 0ustar --- a/Makefile_bootstrap +++ b/Makefile_bootstrap @@ -229,10 +229,10 @@ ###### -COMPILE = $(CC) $(ATSCCFLAGS) -o $@ -#COMPILE = $(CC) $(CPPFLAGS) $(CFLAGS) $(ATSCCFLAGS) -o $@ -CLINK = $(CC) $(ATSCCFLAGS) $(LDFLAGS) -o $@ -#CLINK = $(CC) $(CPPFLAGS) $(CFLAGS) $(ATSCCFLAGS) $(LDFLAGS) -o $@ +#COMPILE = $(CC) $(ATSCCFLAGS) -o $@ +COMPILE = $(CC) $(CPPFLAGS) $(CFLAGS) $(ATSCCFLAGS) -o $@ +#CLINK = $(CC) $(ATSCCFLAGS) $(LDFLAGS) -o $@ +CLINK = $(CC) $(CPPFLAGS) $(CFLAGS) $(ATSCCFLAGS) $(LDFLAGS) -o $@ ###### --- a/utils/scripts/Makefile +++ b/utils/scripts/Makefile @@ -33,6 +33,8 @@ ###### +-include ../../config.mk + ATSHOMEQ="$(ATSHOME)" ATSOPT=$(ATSHOMEQ)/bin/atsopt ATSRUNTIME=$(ATSHOMEQ)/ccomp/runtime @@ -41,7 +43,7 @@ CC=gcc INCLUDES=-I$(ATSHOMEQ) -I$(ATSRUNTIME) -CCFLAGS=-O2 -g +CCFLAGS=-O2 -g $(CFLAGS) $(CPPFLAGS) ###### @@ -54,7 +56,7 @@ top_sats.o basics_dats.o pkgconfig.o atscc_dats.o \ errno_sats.o fcntl_sats.o stdio_sats.o stdlib_sats.o string_sats.o unistd_sats.o \ sys_types_sats.o sys_wait_sats.o - $(CC) $(INCLUDES) $(CCFLAGS) -o atscc atscc_main_dats.c $(ATSRUNTIME)/ats_prelude.c \ + $(CC) $(INCLUDES) $(LDFLAGS) $(CCFLAGS) -o atscc atscc_main_dats.c $(ATSRUNTIME)/ats_prelude.c \ top_sats.o basics_dats.o pkgconfig.o atscc_dats.o \ errno_sats.o fcntl_sats.o stdio_sats.o stdlib_sats.o string_sats.o unistd_sats.o \ sys_types_sats.o sys_wait_sats.o @@ -65,7 +67,7 @@ top_sats.o basics_dats.o atscc_dats.o atslib_dats.o \ fcntl_sats.o stdio_sats.o stdlib_sats.o unistd_sats.o \ sys_types_sats.o sys_wait_sats.o - $(CC) $(INCLUDES) $(CCFLAGS) -o atslib atslib_main_dats.c $(ATSRUNTIME)/ats_prelude.c \ + $(CC) $(INCLUDES) $(LDFLAGS) $(CCFLAGS) -o atslib atslib_main_dats.c $(ATSRUNTIME)/ats_prelude.c \ top_sats.o basics_dats.o atscc_dats.o atslib_dats.o \ fcntl_sats.o stdio_sats.o stdlib_sats.o unistd_sats.o \ sys_types_sats.o sys_wait_sats.o @@ -73,12 +75,12 @@ ###### atspack: atspack.dats - $(ATSCC) -o atspack $(CCFLAGS) atspack.dats + $(ATSCC) -o atspack $(LDFLAGS) $(CCFLAGS) atspack.dats ###### deltabs: deltabs.dats - $(ATSCC) -o deltabs $(CCFLAGS) deltabs.dats -D_ATS_gcats + $(ATSCC) -o deltabs $(LDFLAGS) $(CCFLAGS) deltabs.dats -D_ATS_gcats ###### --- a/utils/atslex/Makefile +++ b/utils/atslex/Makefile @@ -33,6 +33,8 @@ ###### +-include ../../config.mk + ATSHOMEQ="$(ATSHOME)" ATSCC=$(ATSHOMEQ)/bin/atscc #ATSCCFLAGS=-D_ATS_gc @@ -41,7 +43,7 @@ ATSCCFLAGS= ATSRUNTIME=$(ATSHOMEQ)/ccomp/runtime -CCFLAGS=-g -O2 +CCFLAGS=-g -O2 $(CFLAGS) $(CPPFLAGS) INCLUDES=-I$(ATSHOMEQ) -I$(ATSRUNTIME) ###### @@ -50,7 +52,7 @@ atslex.dats top_sats.o lexgen_dats.o \ charset_dats.o intset_dats.o states_dats.o \ parser_dats.o position_dats.o token_dats.o - $(ATSCC) $(ATSCCFLAGS) -o atslex \ + $(ATSCC) $(LDFLAGS) $(ATSCCFLAGS) $(CCFLAGS) -o atslex \ atslex.dats top_sats.o lexgen_dats.o \ charset_dats.o intset_dats.o states_dats.o \ parser_dats.o position_dats.o token_dats.o --- a/utils/atsdoc/Makefile +++ b/utils/atsdoc/Makefile @@ -34,6 +34,8 @@ # ###### +-include ../../config.mk + ATSCC=$(ATSHOME)/bin/atscc ATSOPT=$(ATSHOME)/bin/atsopt @@ -46,6 +48,10 @@ ATSCCFLAGS=-g -O ATSCCFLAGS=-g -O2 +# hardening: + +ATSCCFLAGS += $(CFLAGS) $(CPPFLAGS) + ###### SOURCES := \ @@ -68,7 +74,7 @@ ###### atsdoc: atsdoc_main_dats.o $(OBJECTS) - $(ATSCC) $(ATSGCFLAG) $(ATSCCFLAGS) -o atsdoc atsdoc_main_dats.o $(OBJECTS) -latsdoc + $(ATSCC) $(ATSGCFLAG) $(ATSCCFLAGS) $(LDFLAGS) -o atsdoc atsdoc_main_dats.o $(OBJECTS) -latsdoc ###### debian/patches/debian-changes-0.2.4-10000644000000000000000000000312611555352453014177 0ustar Description: Upstream changes introduced in version 0.2.4-1 This patch has been created by dpkg-source during the package build. Here's the last changelog entry, hopefully it gives details on why those changes were made: . ats-lang-anairiats (0.2.4-1) unstable; urgency=low . * New upstream release . The person named in the Author field signed this changelog entry. Author: Matthew Danish --- The information above should follow the Patch Tagging Guidelines, please checkout http://dep.debian.net/deps/dep3/ to learn about the format. Here are templates for supplementary fields that you might want to add: Origin: , Bug: Bug-Debian: http://bugs.debian.org/ Bug-Ubuntu: https://launchpad.net/bugs/ Forwarded: Reviewed-By: Last-Update: --- ats-lang-anairiats-0.2.4.orig/contrib/cblas/TEST/Makefile +++ ats-lang-anairiats-0.2.4/contrib/cblas/TEST/Makefile @@ -10,7 +10,7 @@ ATSUSRQ="$(ATSHOME)" ATSLIBQ="$(ATSHOME)" ifeq ("$(ATSHOME)","") ATSUSRQ="/usr" -ATSLIBQ="/usr/lib/ats-anairiats-0.2.3" +ATSLIBQ="/usr/lib/ats-anairiats-0.2.4" endif ###### --- ats-lang-anairiats-0.2.4.orig/contrib/clapack/TEST/Makefile +++ ats-lang-anairiats-0.2.4/contrib/clapack/TEST/Makefile @@ -10,7 +10,7 @@ ATSUSRQ="$(ATSHOME)" ATSLIBQ="$(ATSHOME)" ifeq ("$(ATSHOME)","") ATSUSRQ="/usr" -ATSLIBQ="/usr/lib/ats-anairiats-0.2.3" +ATSLIBQ="/usr/lib/ats-anairiats-0.2.4" endif ###### debian/patches/build-contrib0000644000000000000000000000063311645404432013302 0ustar --- a/Makefile +++ b/Makefile @@ -187,6 +187,11 @@ ifeq ($(HAVE_LIBSDL10),1) $(MAKE) -C contrib/SDL all endif + cd contrib/GL; make atsctrb_GL.o; make clean + cd contrib/X11; make atsctrb_X11.o; make clean + cd contrib/SDL; make atsctrb_SDL.o; make clean + cd contrib/cblas; make atsctrb_cblas.o; make clean + cd contrib/clapack; make atsctrb_clapack.o; make clean ###### some toplevel commands ###### debian/patches/remove-autoconf-makefile0000644000000000000000000000115512225612024015422 0ustar --- a/Makefile +++ b/Makefile @@ -40,31 +40,6 @@ ###### -# integration with autoconf. - -SRC_CONFIG_FILES := config.mk.in config.h.in -BUILT_CONFIG_FILES := $(SRC_CONFIG_FILES:%.in=%) - -Makefile: config.mk - -config.status: configure - ./configure - touch $@ - -$(BUILT_CONFIG_FILES): %: config.status $(filter-out %,$(SRC_CONFIG_FILES)) - ./config.status - touch $(BUILT_CONFIG_FILES) - -config.h.in: configure.ac - autoheader $< - touch $@ - -configure: configure.ac $(SRC_CONFIG_FILES) - aclocal - automake --add-missing --foreign || true - autoconf - touch $(BUILT_CONFIG_FILES) - -include config.mk ###### debian/patches/examples-atshome-mk0000644000000000000000000000051511501752102014414 0ustar Index: ats-lang-anairiats-0.2.3/doc/EXAMPLE/atshome.mk =================================================================== --- /dev/null 1970-01-01 00:00:00.000000000 +0000 +++ ats-lang-anairiats-0.2.3/doc/EXAMPLE/atshome.mk 2010-12-14 15:31:52.000000000 -0500 @@ -0,0 +1,2 @@ +ATSHOME = /usr/lib/ats-anairiats-0.2.3 +export ATSHOME debian/patches/fix-example-makefiles0000644000000000000000000000055412075060402014715 0ustar --- /dev/null +++ b/fix_examples.sh @@ -0,0 +1,6 @@ +ATSVERSION=0.2.9 +for f in `find doc/EXAMPLE -name Makefile`; do + sed -i -e "s+ATSHOMEQ=\"/usr\" #.*+ATSHOMEQ=\"/usr\"\nATSLIBQ=\"/usr/lib/ats-anairiats-$ATSVERSION\"\nelse\nATSLIBQ=\$(ATSHOMEQ)+" "$f" + sed -i -e "s+ATSCTRB=\$(ATSHOMEQ)+ATSCTRB=\$(ATSLIBQ)+" "$f" + sed -i -e '1i test: compall' "$f" +done debian/copyright0000644000000000000000000000556112075332103011124 0ustar This work was packaged for Debian by: Matthew Danish on Mon, 22 Feb 2010 20:46:22 +0000 It was downloaded from: Upstream Author: Hongwei Xi Copyright: Copyright (C) 2010 Hongwei Xi, Chiyan Chen, Sa Cui, Matthew Danish, Kevin Donnelly, Rick Lavoie, Likai Liu, Michel Machado, Rui Shi, Dengping Zhu. The development of ATS has been funded in part by National Science Foundation under the grants no. CCR-0081316/CCR-0224244, no. CCR-0092703/0229480, no. CNS-0202067 and no. CCF-0702665. Any opinions, findings, and conclusions or recommendations expressed here are those of the author(s) and do not necessarily reflect the views of the National Science Foundation. License: ATS is Open Source and Free Software, and it is freely available under the GNU GENERAL PUBLIC LICENSE version 3 (GPL 3.0) as is published by the Free Software Foundation. The current implementation of ATS is given the name ATS/Anairiats or simply Anairiats. This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any later version. This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. You should have received a copy of the GNU General Public License along with this program. If not, see . On Debian systems, for the full-text license, see the file "/usr/share/common-licenses/GPL-3". The library, utils, and contrib files are distributed under the LGPL: ATS is free software; you can redistribute it and/or modify it under the terms of the GNU LESSER GENERAL PUBLIC LICENSE as published by the Free Software Foundation; either version 2.1, or (at your option) any later version. ATS is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. You should have received a copy of the GNU General Public License along with ATS; see the file COPYING. If not, please write to the Free Software Foundation, 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA. On Debian systems, for the full-text license, see the file "/usr/share/common-licenses/LGPL-2.1". The Debian packaging is: Copyright (C) 2010-2013 Matthew Danish and is licensed under the GPL version 3, see "/usr/share/common-licenses/GPL-3". debian/ats-lang-anairiats.manpages0000644000000000000000000000005711341566202014364 0ustar debian/atscc.1 debian/atsopt.1 debian/atslex.1 debian/control0000644000000000000000000000715712225616051010603 0ustar Source: ats-lang-anairiats Section: devel Priority: optional Maintainer: Matthew Danish Build-Depends: debhelper (>= 7.0.50~), libgmp3-dev, libpcre3-dev, libsdl1.2-dev, libgtk2.0-dev, libcairo2-dev, libsdl-image1.2-dev, libsdl-ttf2.0-dev, libgl1-mesa-dev | libgl-dev, libglu1-mesa-dev | libglu-dev, libblas-dev, liblapack-dev Standards-Version: 3.9.4.0 Homepage: http://www.ats-lang.org Package: ats-lang-anairiats Architecture: any Depends: ${shlibs:Depends}, ${misc:Depends} Recommends: libgmp3-dev, libpcre3-dev, libsdl1.2-dev, libgtk2.0-dev, libcairo2-dev Suggests: ats-lang-anairiats-examples, ats-lang-anairiats-doc, ats2-lang Description: Legacy ATS v1 language compiler, named Anairiats ATS is a programming language with a highly expressive type system rooted in the framework Applied Type System. In particular, both dependent types and linear types are available in ATS. The current implementation of ATS (ATS/Anairiats) is written in ATS itself. It can be as efficient as C/C++ and supports a variety of programming paradigms. . In addition, ATS contains a component ATS/LF that supports a form of (interactive) theorem proving, where proofs are constructed as total functions. With this component, ATS advocates a programming style that combines programming with theorem proving. Furthermore, this component may be used as a logical framework to encode various deduction systems and their (meta-)properties. . This package contains the compiler atsopt, the frontend atscc, and the lexer atslex. . This is the final release of ATS1. Please migrate your code to ATS2/Postiats, the compiler frontend patscc (patsopt), in the package ats2-lang. This package is for legacy code and bootstrapping purposes. Package: ats-lang-anairiats-examples Architecture: all Depends: ${misc:Depends} Recommends: ats-lang-anairiats Description: Examples for the ATS compiler Anairiats ATS is a programming language with a highly expressive type system rooted in the framework Applied Type System. In particular, both dependent types and linear types are available in ATS. The current implementation of ATS (ATS/Anairiats) is written in ATS itself. It can be as efficient as C/C++ and supports a variety of programming paradigms. . In addition, ATS contains a component ATS/LF that supports a form of (interactive) theorem proving, where proofs are constructed as total functions. With this component, ATS advocates a programming style that combines programming with theorem proving. Furthermore, this component may be used as a logical framework to encode various deduction systems and their (meta-)properties. . This package contains some examples of the language. Package: ats-lang-anairiats-doc Architecture: all Depends: ${misc:Depends} Recommends: ats-lang-anairiats Section: doc Description: Documentation for the ATS compiler Anairiats ATS is a programming language with a highly expressive type system rooted in the framework Applied Type System. In particular, both dependent types and linear types are available in ATS. The current implementation of ATS (ATS/Anairiats) is written in ATS itself. It can be as efficient as C/C++ and supports a variety of programming paradigms. . In addition, ATS contains a component ATS/LF that supports a form of (interactive) theorem proving, where proofs are constructed as total functions. With this component, ATS advocates a programming style that combines programming with theorem proving. Furthermore, this component may be used as a logical framework to encode various deduction systems and their (meta-)properties. . This package contains some documentation for the language. debian/ats-lang-anairiats-doc.docs0000644000000000000000000000003411710045222014251 0ustar doc/BOOK/manual doc/FAQ.txt debian/ats-lang-anairiats.install0000644000000000000000000000041211645413316014236 0ustar usr/bin/atscc usr/bin/atsopt usr/bin/atslex usr/lib/ats-anairiats-*/bin usr/lib/ats-anairiats-*/ccomp usr/lib/ats-anairiats-*/contrib usr/lib/ats-anairiats-*/config.h usr/lib/ats-anairiats-*/libats usr/lib/ats-anairiats-*/libc usr/lib/ats-anairiats-*/prelude #DOCS# debian/source/0000755000000000000000000000000011340602616010465 5ustar debian/source/format0000644000000000000000000000001411340602616011673 0ustar 3.0 (quilt) debian/compat0000644000000000000000000000000211340566455010375 0ustar 7 debian/changelog0000644000000000000000000000300412225605062011035 0ustar ats-lang-anairiats (0.2.11-1) unstable; urgency=low * New upstream release -- Matthew Danish Thu, 10 Oct 2013 16:11:17 -0400 ats-lang-anairiats (0.2.9-1) unstable; urgency=low * New upstream release * Updated standards-version * Threaded "hardening" compilation options through build process -- Matthew Danish Mon, 14 Jan 2013 14:40:34 -0500 ats-lang-anairiats (0.2.6-1) unstable; urgency=low * New upstream release -- Matthew Danish Wed, 25 Jan 2012 13:24:57 -0500 ats-lang-anairiats (0.2.5-1) unstable; urgency=low * New upstream release (Closes: #645134) * Fixes build (Closes: #633300) -- Matthew Danish Wed, 12 Oct 2011 18:17:09 -0400 ats-lang-anairiats (0.2.4-1) unstable; urgency=low * New upstream release -- Matthew Danish Mon, 25 Apr 2011 12:53:22 -0400 ats-lang-anairiats (0.2.3-1) unstable; urgency=low * New upstream release (Closes: #601772) * Updated example Makefiles to version 0.2.3 -- Matthew Danish Tue, 14 Dec 2010 15:10:02 -0500 ats-lang-anairiats (0.2.0-1) unstable; urgency=low * New upstream release * Modifying example Makefiles to build, test, and not clean. * Working around build system bug to do with Makefile_main_temp. -- Matthew Danish Sun, 13 Jun 2010 17:46:45 -0400 ats-lang-anairiats (0.1.8-1) unstable; urgency=low * Initial release (Closes: #571031) -- Matthew Danish Fri, 5 Mar 2010 20:35:01 -0500 debian/rules0000755000000000000000000000231612225607673010262 0ustar #!/usr/bin/make -f # -*- makefile -*- # Sample debian/rules that uses debhelper. # # This file was originally written by Joey Hess and Craig Small. # As a special exception, when this file is copied by dh-make into a # dh-make output file, you may use that output file without restriction. # This special exception was added by Craig Small in version 0.37 of dh-make. # # Modified to make a template file for a multi-binary package with separated # build-arch and build-indep targets by Bill Allombert 2001 # Uncomment this to turn on verbose mode. #export DH_VERBOSE=1 # This has to be exported to make some magic below work. export DH_OPTIONS %: dh $@ override_dh_auto_configure: dh_auto_configure -- $(shell dpkg-buildflags --export=configure) override_dh_clean: dh_clean make cleanall rm -f stamp-h1 config.log config.status .ATSHOME .ATSHOMERELOC config.h rm -f ats_env.sh test.sh config.mk rm -f ccomp/lib/output/* ccomp/lib64/output/* rm -f ccomp/lib/*.a ccomp/lib64/*.a rm -f contrib/*/*.o rm -f contrib/clapack/TEST/test contrib/glib/HATS/glibconfig.hats rm -f bootstrap1/atsopt bootstrap1/atsopt_gc utils/scripts/atscc utils/scripts/atslib utils/scripts/atspack utils/atslex/atslex utils/atsdoc/atsdoc debian/atscc.10000644000000000000000000000436011341031523010341 0ustar .\" Hey, EMACS: -*- nroff -*- .\" First parameter, NAME, should be all caps .\" Second parameter, SECTION, should be 1-8, maybe w/ subsection .\" other parameters are allowed: see man(7), man(1) .TH atscc 1 "February 22, 2010" .\" Please adjust this date whenever revising the manpage. .\" .\" Some roff macros, for reference: .\" .nh disable hyphenation .\" .hy enable hyphenation .\" .ad l left justify .\" .ad b justify to both left and right margins .\" .nf disable filling .\" .fi enable filling .\" .br insert line break .\" .sp insert n+1 empty lines .\" for manpage-specific macros, see man(7) .SH NAME atscc \- ATS compiler frontend .SH SYNOPSIS .B atscc .RI [ options ] " files" ... .SH DESCRIPTION .\" TeX users may be more comfortable with the \fB\fP and .\" \fI\fP escape sequences to invode bold face and italics, .\" respectively. .B atscc is a frontend to the .B atsopt Anairiats compiler for the ATS language. .SH OPTIONS .B atscc has a command-line option syntax in the style of .B gcc and accepts all the same options, many of them being passed directly to the .B gcc backend. Here are summarized the non-\fBgcc\fP options. .TP .B \-cc, \-\-compile Only compile the given ATS source files into C files. .TP .B \-D_ATS_GCATS Enable the garbage collector in the generated executable. .TP .B \-IATS Add a path to search for ATS files when doing static and dynamic loads. .TP .B \-tc, \-\-typecheck Typecheck the given ATS source files, but go no further. .TP .B \-\-version Show ATS/Anairiats version and gcc version. .SH EXAMPLES .PP .B atscc -o test -O3 test.dats .PP Compile test.dats to an executable named test. Tell .B gcc to use the third level of optimization. .PP .B atscc -tc test.dats .PP Typecheck test.dats only. .PP .B atscc -o test.o -c test.dats .PP Compile test.dats to an object file named test.o. .SH SEE ALSO .BR atsopt (1), .BR atslex (1), .br These programs are documented fully by .B The ATS/Anairiats user's manual available via the web at http://www.ats-lang.org/ .SH AUTHOR atscc was written by Hongwei Xi. .PP This manual page was written by Matthew Danish , for the Debian project (and may be used by others).