path: root/mcon/U/official.U
diff options
Diffstat (limited to 'mcon/U/official.U')
1 files changed, 47 insertions, 0 deletions
diff --git a/mcon/U/official.U b/mcon/U/official.U
new file mode 100644
index 0000000..7fbaa65
--- /dev/null
+++ b/mcon/U/official.U
@@ -0,0 +1,47 @@
+?RCS: $Id: official.U 167 2013-05-08 17:58:00Z rmanfredi $
+?RCS: Copyright (c) 2006, Christian Biere
+?RCS: You may redistribute only under the terms of the Artistic License,
+?RCS: as specified in the README file that comes with the distribution.
+?RCS: You may reuse parts of this distribution only within the terms of
+?RCS: that same Artistic License; a copy of which may be found at the root
+?RCS: of the source tree for dist 4.0.
+?MAKE:official d_official: Myread Setvar Warn
+?MAKE: -pick add $@ %<
+?S: This variable holds 'true' or 'false' depending on whether we're making
+?S: an "official" build. When not official, generated programs may choose
+?S: to peek within the source directory, for instance via $pkgsrc in the
+?S: shell and PACKAGE_SOURCE_DIR in C programs.
+?S: This variable conditionally defines OFFICIAL_BUILD.
+?C: When defined, the build is "official". Programs generated for an
+?C: official build MUST NOT peek into the place where the sources lie, via
+?C: PACKAGE_SOURCE_DIR or any other means.
+?H:#$d_official OFFICIAL_BUILD /**/
+?LINT:set d_official
+: determine whether this is an official build
+case "$official" in
+ official=false
+ val="$undef"
+ echo " "
+ ./warn 'This build will not be suitable for distribution.' 4>&4
+ val="$define"
+ official=true
+ ;;
+set d_official
+eval $setvar