From cd78d3a8acdcc902a2a1481b066e7d7d3e69ca10 Mon Sep 17 00:00:00 2001
From: Till Hoffmann <tillahoffmann@gmail.com>
Date: Fri, 15 Dec 2023 17:23:52 +0100
Subject: [PATCH] Add build and check targets.

---
 R-package/.gitignore |  1 +
 R-package/Makefile   | 11 ++++++++++-
 2 files changed, 11 insertions(+), 1 deletion(-)

diff --git a/R-package/.gitignore b/R-package/.gitignore
index 0a0ebd5..288f1ad 100644
--- a/R-package/.gitignore
+++ b/R-package/.gitignore
@@ -3,3 +3,4 @@
 inst/doc
 vignettes/getting_started
 *.html
+check
diff --git a/R-package/Makefile b/R-package/Makefile
index d30be61..3a36df5 100644
--- a/R-package/Makefile
+++ b/R-package/Makefile
@@ -1,4 +1,4 @@
-.PHONY : stan_files man vignettes
+.PHONY : build check stan_files man vignettes
 SOURCE_DIR = ../stan/gptools/stan/gptools
 SOURCE_FILES = $(wildcard $(SOURCE_DIR)/*.stan)
 TARGET_DIR = inst/extdata
@@ -21,3 +21,12 @@ vignettes/getting_started.html : vignettes/getting_started.Rmd vignettes/getting
 
 man :
 	Rscript -e 'devtools::document()'
+
+
+build :
+	mkdir -p build
+	cd build && R CMD build ..
+
+check : build
+	mkdir -p check
+	cd check && R CMD check ../build/*.tar.gz