[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[nongnu] elpa/idris-mode c59c649 1/8: [ admin ] updated makefile
From: |
ELPA Syncer |
Subject: |
[nongnu] elpa/idris-mode c59c649 1/8: [ admin ] updated makefile |
Date: |
Wed, 3 Nov 2021 10:57:48 -0400 (EDT) |
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
- [nongnu] elpa/idris-mode updated (2939f5a -> 6c22a7b), ELPA Syncer, 2021/11/03
- [nongnu] elpa/idris-mode c59c649 1/8: [ admin ] updated makefile,
ELPA Syncer <=
- [nongnu] elpa/idris-mode 5972512 3/8: [ cosmetic ] Upstream change from idris2., ELPA Syncer, 2021/11/03
- [nongnu] elpa/idris-mode 400c54f 6/8: [ upstream ] Fix documentation and bytecode generation., ELPA Syncer, 2021/11/03
- [nongnu] elpa/idris-mode c18ae30 4/8: [ cleanup ] from idris2-mode use `cadr` where appropriate., ELPA Syncer, 2021/11/03
- [nongnu] elpa/idris-mode ed628e8 2/8: [ ipkg-mode ] Merged in changes from idris2-mode for ipkg keywords., ELPA Syncer, 2021/11/03
- [nongnu] elpa/idris-mode 753b594 5/8: [ fixup ] add missing dependency., ELPA Syncer, 2021/11/03
- [nongnu] elpa/idris-mode b6f6fb2 7/8: [ ci ] deprecate older emacs., ELPA Syncer, 2021/11/03
- [nongnu] elpa/idris-mode 6c22a7b 8/8: Merge pull request #544 from jfdm/borrowings-idris2-mode, ELPA Syncer, 2021/11/03