[easybuild] patch just one R extension

[Jure Pečar]

Hi,

I want to apply this patch to R data.table to get it to behave in civilized 
manner:

diff -ur data.table/R/fread.R data.table.fix/R/fread.R
--- data.table/R/fread.R        2017-01-31 03:10:52.000000000 +0000
+++ data.table.fix/R/fread.R    2017-06-29 08:34:42.764465000 +0000
@@ -85,8 +85,11 @@
         tt = tempfile()
         on.exit(unlink(tt), add = TRUE)
         if (.Platform$OS.type == "unix") {
-            if (file.exists('/dev/shm') && file.info('/dev/shm')$isdir) {
-                tt = tempfile(tmpdir = '/dev/shm')
+            Sys.getenv(tmp("TMPDIR"))
+            if (file.exists(tmp) && file.info(tmp)$isdir) {
+                tt = tempfile(tmpdir = tmp)
+            } else {
+                tt = tempfile(tmpdir = '/tmp')
             }
             system(paste('(', input, ') > ', tt, sep=""))
         } else {


What would be the proper syntax in R easyconfig to apply it?


-- 

  Jurij Pečar
  HPC Engineer, IT Operations, IT Services
  EMBL Heidelberg, Meyerhofstraße 1, 69117, Heidelberg, Germany
  Room 13-401