Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/PVS/orders/   (Beweissystem der NASA Version 6.0.9©)  Datei vom 28.9.2014 mit Größe 870 B image not shown  

Quelle  Makefile.am   Sprache: unbekannt

 
# This file is part of flex.

# Redistribution and use in source and binary forms, with or without
# modification, are permitted provided that the following conditions
# are met:

# 1. Redistributions of source code must retain the above copyright
#    notice, this list of conditions and the following disclaimer.
# 2. Redistributions in binary form must reproduce the above copyright
#    notice, this list of conditions and the following disclaimer in the
#    documentation and/or other materials provided with the distribution.

# Neither the name of the University nor the names of its contributors
# may be used to endorse or promote products derived from this software
# without specific prior written permission.

# THIS SOFTWARE IS PROVIDED ``AS IS'' AND WITHOUT ANY EXPRESS OR
# IMPLIED WARRANTIES, INCLUDING, WITHOUT LIMITATION, THE IMPLIED
# WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
# PURPOSE.

# Notes on building:

# Possible values for DEFS:
#
# By default, flex generates 8-bit scanners when using table compression,
# and 7-bit scanners when using uncompressed tables (-f or -F options).
# For flex to always generate 8-bit scanners, add "-DDEFAULT_CSIZE=256"
# to DEFS.
#
# For Vax/VMS, add "-DVMS" to DEFS.
#
# For MS-DOS, add "-DMS_DOS" to DEFS.  See the directory MISC/MSDOS for
# additional info.

ACLOCAL_AMFLAGS = -I m4
indent = @INDENT@

dist_doc_DATA = \
 AUTHORS \
 COPYING \
 NEWS \
 ONEWS \
 README

EXTRA_DIST = \
 .indent.pro \
 autogen.sh

SUBDIRS = \
 lib \
 src \
 doc \
 examples \
 po \
 tests \
 tools

# Create the ChangeLog, but only if we're inside a git working directory

ChangeLog: $(srcdir)/tools/git2cl
 if [ -d $(srcdir)/.git ] ; then \
  $(srcdir)/tools/git2cl > $@ \
 ; fi

install-exec-hook:
 cd $(DESTDIR)$(bindir) && \
  $(LN_S) -f flex$(EXEEXT) flex++$(EXEEXT)

.PHONY: ChangeLog tags indent

[ Dauer der Verarbeitung: 0.17 Sekunden  (vorverarbeitet)  ]