Skip to content

Commit

Permalink
copy 'symbols.rds' to right dest
Browse files Browse the repository at this point in the history
  • Loading branch information
kevinushey committed Apr 15, 2021
1 parent e2130b2 commit 20d6042
Showing 1 changed file with 4 additions and 4 deletions.
8 changes: 4 additions & 4 deletions src/install.libs.R
Original file line number Diff line number Diff line change
Expand Up @@ -8,15 +8,15 @@
dir.create(dest, recursive = TRUE, showWarnings = FALSE)
file.copy(files, dest, overwrite = TRUE)

# copy symbols if available
if (file.exists("symbols.rds"))
file.copy("symbols.rds", dest, overwrite = TRUE)

# also copy to package 'libs' folder, for devtools
dest <- paste0("../libs", R_ARCH)
dir.create(dest, recursive = TRUE, showWarnings = FALSE)
file.copy(files, dest, overwrite = TRUE)

# copy symbols if available
if (file.exists("symbols.rds"))
file.copy("symbols.rds", dest, overwrite = TRUE)

# copy tbb
# TODO: use 'dest' library directory once rstan is updated
tbbDest <- paste0("../inst/lib", R_ARCH)
Expand Down

0 comments on commit 20d6042

Please sign in to comment.