diff options
author | Florian Franzmann | 2015-07-23 21:15:51 +0200 |
---|---|---|
committer | Florian Franzmann | 2015-07-25 22:45:25 +0200 |
commit | b98c2d1bc0b0cb0e833b6e5212980c43baf03623 (patch) | |
tree | 66fc0730faeaf63ad1607d5f25235a1574420d62 | |
parent | f2e6c647245dde7ca2101cf33ef17378f2117901 (diff) |
libs/popt: build static and shared library
-rwxr-xr-x | libs/popt/BUILD | 1 | ||||
-rw-r--r-- | libs/popt/HISTORY | 3 |
2 files changed, 4 insertions, 0 deletions
diff --git a/libs/popt/BUILD b/libs/popt/BUILD new file mode 100755 index 0000000000..df3414db7a --- /dev/null +++ b/libs/popt/BUILD @@ -0,0 +1 @@ +OPTS="--enable-static --enable-shared $OPTS" default_build diff --git a/libs/popt/HISTORY b/libs/popt/HISTORY index 090e63a197..48b2223cb5 100644 --- a/libs/popt/HISTORY +++ b/libs/popt/HISTORY @@ -1,3 +1,6 @@ +2015-07-23 Florian Franzmann <siflfran@hawo.stw.uni-erlangen.de> + * BUILD: build static and shared library + 2010-05-10 Ladislav Hagara <hgr@vabo.cz> * DETAILS: 1.16 |