diff options
Diffstat (limited to 'pre-inst-env.in')
-rw-r--r-- | pre-inst-env.in | 35 |
1 files changed, 18 insertions, 17 deletions
diff --git a/pre-inst-env.in b/pre-inst-env.in index e59beff..c2bd49c 100644 --- a/pre-inst-env.in +++ b/pre-inst-env.in @@ -1,22 +1,23 @@ #!/bin/sh -# Guile-ACL2 --- A Compiler from ACL2 to Guile -# Copyright © 2021 Masaya Tojo <masaya@tojo.tokyo> -# -# This file is part of Guile-ACL2. -# -# Guile-ACL2 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. -# -# Guile-ACL2 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 Guile-ACL2. If not, see <http://www.gnu.org/licenses/>. +## Guile-ACL2 --- A Compiler from ACL2 to Guile +## Copyright © 2021 Masaya Tojo <masaya@tojo.tokyo> +## +## This file is part of Guile-ACL2. +## +## Guile-ACL2 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 3 of the +## License, or (at your option) any later version. +## +## Guile-ACL2 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 +## Lesser General Public License for more details. +## +## You should have received a copy of the GNU Lesser General Public +## License along with Guile-ACL2. If not, see +## <http://www.gnu.org/licenses/>. abs_top_srcdir="`cd "@abs_top_srcdir@" > /dev/null; pwd`" abs_top_builddir="`cd "@abs_top_builddir@" > /dev/null; pwd`" |