[nongnu] elpa/idris-mode c59c649 1/8: [ admin ] updated makefile

[ELPA Syncer]

branch: elpa/idris-mode
commit c59c64926b4f38f188bc0bd257c55579bdcb41e3
Author: Jan de Muijnck-Hughes <jan.deMuijnck-Hughes@glasgow.ac.uk>
Commit: Jan de Muijnck-Hughes <jan.deMuijnck-Hughes@glasgow.ac.uk>

    [ admin ] updated makefile
---
 .gitignore |  2 ++
 Makefile   | 17 +++++++++++++----
 2 files changed, 15 insertions(+), 4 deletions(-)

diff --git a/.gitignore b/.gitignore
index a3e1662..759dfbc 100644
--- a/.gitignore
+++ b/.gitignore
@@ -5,3 +5,5 @@ documentation.log
 documentation.pdf
 test-data/build/
 test-data/*.ibc
+test-data/idris2-history.eld
+test-data/Empty.idr
diff --git a/Makefile b/Makefile
index 6342d78..60c4510 100644
--- a/Makefile
+++ b/Makefile
@@ -44,20 +44,29 @@ test: getdeps build
 test2: getdeps build
        $(BATCHEMACS) -L . \
                -eval '(setq idris-interpreter-path (executable-find 
"idris2"))' \
-                -eval '(setq idris-repl-history-file 
"~/.idris2/idris2-histtory.eld")' \
+               -eval '(setq idris-repl-history-file 
"~/.idris2/idris2-history.eld")' \
                -l ert -l idris-tests2.el -f ert-run-tests-batch-and-exit
+
 test3: getdeps build
        $(BATCHEMACS) -L . \
                -eval '(setq idris-interpreter-path (executable-find 
"idris2"))' \
-                -eval '(setq idris-repl-history-file "idris2-histtory.eld")' \
-                -eval '(setq idris-log-events t)' \
+               -eval '(setq idris-repl-history-file "idris2-history.eld")' \
+               -eval '(setq idris-log-events t)' \
                -l ert -l idris-tests3.el -f ert-run-tests-batch-and-exit
 
 clean:
        -rm -f $(OBJS)
        -rm -f test-data/*ibc
+       -rm -rf test-data/build/
 
 getdeps:
-       $(BATCHEMACS) -eval '(progn (package-refresh-contents) (unless 
(package-installed-p (quote prop-menu)) (package-install (quote prop-menu))))'
+
+       $(BATCHEMACS) -eval \
+               "(let* \
+                   ((need-pkgs '($(NEED_PKGS))) \
+                    (want-pkgs (seq-remove #'package-installed-p need-pkgs))) \
+                 (unless (null want-pkgs) \
+                   (package-refresh-contents) \
+                   (mapcar #'package-install want-pkgs)))"
 
 .PHONY: clean build test getdeps