diff options
author | Laurence Kedward <laurence.kedward@bristol.ac.uk> | 2021-06-07 09:34:34 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-06-07 09:34:34 +0100 |
commit | 2ba3478e7d79dc8bb0598485346740b5436fe914 (patch) | |
tree | 7a0b31bed0920d19029a422864a2118ca97aca26 /src/fpm_environment.f90 | |
parent | 87a2cbfda5ac064c754e493d41950fde72e05fc7 (diff) | |
parent | 5651c74ae8b08e3bd72a1a761fd5c64396ed6856 (diff) | |
download | fpm-2ba3478e7d79dc8bb0598485346740b5436fe914.tar.gz fpm-2ba3478e7d79dc8bb0598485346740b5436fe914.zip |
Merge pull request #489 from awvwgk/ar-output
Redirect output when searching for archiver
Diffstat (limited to 'src/fpm_environment.f90')
-rw-r--r-- | src/fpm_environment.f90 | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/src/fpm_environment.f90 b/src/fpm_environment.f90 index 3754166..ef0177f 100644 --- a/src/fpm_environment.f90 +++ b/src/fpm_environment.f90 @@ -12,7 +12,6 @@ module fpm_environment public :: os_is_unix public :: run public :: get_env - public :: get_archiver public :: get_command_arguments_quoted public :: separator @@ -195,26 +194,6 @@ contains if(VALUE.eq.''.and.present(DEFAULT))VALUE=DEFAULT end function get_env - function get_archiver() result(archiver) - character(:), allocatable :: archiver - - associate(os_type => get_os_type()) - if (os_type /= OS_WINDOWS .and. os_type /= OS_UNKNOWN) then - archiver = "ar -rs " - else - block - integer :: estat - - call execute_command_line("ar --version", exitstat=estat) - if (estat /= 0) then - archiver = "lib /OUT:" - else - archiver = "ar -rs " - end if - end block - end if - end associate - end function function get_command_arguments_quoted() result(args) character(len=:),allocatable :: args character(len=:),allocatable :: arg |