diff options
| author | Jack Lloyd <[email protected]> | 2019-07-10 10:39:10 -0400 |
|---|---|---|
| committer | Jack Lloyd <[email protected]> | 2019-07-10 10:39:10 -0400 |
| commit | 4a70d97c27222ff26fd9eb322dc4a76d35290e8e (patch) | |
| tree | 428a9d4f11b7c84d9bb65b8719ffcf8981c39fb9 | |
| parent | 73d3b0cbe5b4963f225dc8df2f9948e2c186a113 (diff) | |
Set C++11 flags for PGI
| -rw-r--r-- | src/build-data/cc/pgi.txt | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/build-data/cc/pgi.txt b/src/build-data/cc/pgi.txt index cc5245638..811578cdc 100644 --- a/src/build-data/cc/pgi.txt +++ b/src/build-data/cc/pgi.txt @@ -2,6 +2,8 @@ macro_name PGI binary_name pgc++ +lang_flags "-std=c++11" + optimization_flags "-O3" shared_flags "-fPIC" |