← Back to branch summary

~ubuntu-branches/ubuntu/gutsy/acl2/gutsy

« back to all changes in this revision

Viewing changes to GNUmakefile

  • Committer: Bazaar Package Importer
  • Author(s): Camm Maguire
  • Date: 2006-12-04 10:35:42 UTC
  • mfrom: (1.1.5 upstream) (3.1.1 etch)
  • Revision ID: james.westby@ubuntu.com-20061204103542-68nf4pkilci0018n
Tags: 3.1-1
New upstream release

Show diffs side-by-side

added added

removed removed

Lines of Context:
GNUmakefile
1
1
#  -*- Fundamental -*- 
2
2
 
3
 
# ACL2 Version 3.0.1 -- A Computational Logic for Applicative Common Lisp
 
3
# ACL2 Version 3.1 -- A Computational Logic for Applicative Common Lisp
4
4
# Copyright (C) 2006  University of Texas at Austin.
5
5
 
6
6
# This version of ACL2 is a descendent of ACL2 Version 1.9, Copyright
168
168
 
169
169
LISP = gcl
170
170
DIR = /tmp
171
 
ACL2_VERSION = v3-0-1
 
171
ACL2_VERSION = v3-1
172
172
NONSTD =
173
173
 
174
174
# The user may legally edit the following variable, or set it on the command
512
512
        @$(MAKE) check_init_ok
513
513
        rm -f workxxx
514
514
 
515
 
# We only expect developers to make DOC.  At UT, this only seems to work for
516
 
# the texinfo stuff using SunOS, not Linux.
 
515
.PHONY: DOC TEXINFO HTML
 
516
 
 
517
# We only expect developers to make DOC.  But anyone should be able to do so.
 
518
# However, we have had problems doing so on Mac OS X inside emacs, perhaps
 
519
# because of a gettext dependency from emacs.
517
520
DOC:
518
 
        @if [ `uname -s` != "SunOS" ] ; then \
519
 
          echo "ERROR: Documentation must be built on SunOS." ; exit 1 ; fi
520
521
        rm -f workxxx
521
522
#       chmod 775 doc/create-acl2-html 
522
523
#       chmod 775 doc/create-acl2-texinfo
524
525
        PREFIX=$(PREFIX) ; export PREFIX ; doc/create-acl2-texinfo
525
526
        rm -f workxxx
526
527
 
527
 
# We only expect developers to make DOC.  At UT, this only seems to work for
528
 
# the texinfo stuff using SunOS, not Linux.
 
528
# See comments above DOC target.
529
529
TEXINFO:
530
530
        @if [ `uname -s` != "SunOS" ] ; then \
531
531
          echo "ERROR: non-HTML documentation must be built on SunOS." ; exit 1 ; fi
534
534
        rm -f workxxx
535
535
#       chmod 775 doc/create-acl2-texinfo
536
536
 
537
 
# We only expect developers to make HTML.
 
537
# See comments above DOC target.
538
538
HTML:
539
539
        rm -f workxxx
540
540
        PREFIX=$(PREFIX) ; export PREFIX ; doc/create-acl2-html