# GNU Guix --- Functional package management for GNU
# Copyright © 2020 Simon Tournier <zimon.toutoune@gmail.com>
# Copyright © 2020 Konrad Hinsen <konrad.hinsen@fastmail.net>
#
# This file is part of GNU Guix.
#
# GNU Guix 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.
#
# GNU Guix 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 GNU Guix.  If not, see <http://www.gnu.org/licenses/>.

#
# Test the `guix repl' command-line utility.
#

guix repl --version

test_directory="`mktemp -d`"
export test_directory
trap 'chmod -Rf +w "$test_directory"; rm -rf "$test_directory"' EXIT

tmpfile="$test_directory/foo.scm"
rm -f "$tmpfile"
trap 'rm -f "$tmpfile"' EXIT

module_dir="t-guix-repl-$$"
mkdir "$module_dir"
trap 'rm -rf "$module_dir"' EXIT


cat > "$tmpfile"<<EOF
(use-modules (guix packages)
             (gnu packages base))

(format #t "~a\n" (package-name coreutils))
EOF

test "`guix repl "$tmpfile"`" = "coreutils"

# Make sure that the file can also be loaded when passed as a relative file
# name.
(cd "$(dirname "$tmpfile")"; test "$(guix repl "$(basename "$tmpfile")")" = "coreutils")


cat > "$module_dir/foo.scm"<<EOF
(define-module (foo)
  #:use-module (guix packages)
  #:use-module (gnu packages base))

(define-public dummy
  (package (inherit hello)
    (name "dummy")
    (version "42")
    (synopsis "dummy package")
    (description "dummy package. Only used for testing purposes.")))
EOF

cat > "$tmpfile"<<EOF
(use-modules (guix packages)
             (foo))

(format #t "~a\n" (package-version dummy))
EOF

test "`guix repl "$tmpfile" -L "$module_dir"`" = "42"

cat > "$tmpfile"<<EOF
(format #t "~a\n" (cdr (command-line)))
EOF

test "`guix repl -- "$tmpfile" -a b --input=foo.txt`" = "(-a b --input=foo.txt)"

cat > "$tmpfile"<<EOF
#!$(type -P env) -S guix repl --
!#
(format #t "~a\n" (cdr (command-line)))
EOF
chmod 755 $tmpfile

test "`"$tmpfile" -a b --input=foo.txt`" = "(-a b --input=foo.txt)"
095ef0e7400e219b945d032'>lean.scm</a></div><div class='content'><table class='list nowrap'><tr class='nohover'><th class='left'>Age</th><th class='left'>Commit message (<a href='/guix/log/gnu/packages/lean.scm?id=aaf85222f108b868f095ef0e7400e219b945d032&amp;showmsg=1'>Expand</a>)</th><th class='left'>Author</th></tr>
<tr><td><span title='2022-03-16 15:48:52 +0100'>2022-03-16</span></td><td><a href='/guix/commit/gnu/packages/lean.scm?id=fee68a93d833b7774de6b0af9ddb9f5f696922eb'>gnu: Add python-mathlibtools.</a></td><td>Pradana AUMARS</td></tr>
<tr><td><span title='2022-03-11 23:34:47 -0500'>2022-03-11</span></td><td><a href='/guix/commit/gnu/packages/lean.scm?id=46ae78ba45711b43ca5948c9adbd23cc9e773bff'>gnu: lean: Update to 3.41.0 and fixes toward cross-compilation.</a></td><td>Maxim Cournoyer</td></tr>
<tr><td><span title='2021-12-13 17:48:25 +0100'>2021-12-13</span></td><td><a href='/guix/commit/gnu/packages/lean.scm?id=8394619baceb118df92e355377fd543bb1aa501a'>gnu: Simplify package inputs.</a></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2020-11-26 04:22:51 +0100'>2020-11-26</span></td><td><a href='/guix/commit/gnu/packages/lean.scm?id=1df6f0f085516da9787eb692952b5f680ac0a6d8'>gnu: lean: Trim synopsis.</a></td><td>Tobias Geerinckx-Rice</td></tr>
<tr><td><span title='2020-11-26 04:22:50 +0100'>2020-11-26</span></td><td><a href='/guix/commit/gnu/packages/lean.scm?id=b87051b74a4e529b459a6b1a86fd7cec187c70b2'>gnu: lean: Update to 3.23.0.</a></td><td>Tobias Geerinckx-Rice</td></tr>
<tr><td><span title='2020-07-19 20:24:00 -0500'>2020-07-19</span></td><td><a href='/guix/commit/gnu/packages/lean.scm?id=8bbc8accda7285acc346a14ea984862dc0f814c1'>gnu: lean: Disable test cases for i686 and armhf.</a></td><td>Brett Gilio</td></tr>
<tr><td><span title='2020-07-19 02:29:31 -0500'>2020-07-19</span></td><td><a href='/guix/commit/gnu/packages/lean.scm?id=4deab59f5aed983dd6466603be8b6bb122c83e04'>gnu: lean: Update to 3.17.1.</a></td><td>Brett Gilio</td></tr>
<tr><td><span title='2020-03-28 16:30:07 -0400'>2020-03-28</span></td><td><a href='/guix/commit/gnu/packages/lean.scm?id=c2cf286c62933d2806ae17b8287520820bf87c7e'>Update email address and Savannah handle for Amin Bandali.</a></td><td>Amin Bandali</td></tr>