Replace gzstream by boost::iostreams::gzip_(de)compressor: by Bo Peng (ben.bob@gmail...

[lyx.git] / src / lyxlex_pimpl.h

diff --git a/src/lyxlex_pimpl.h b/src/lyxlex_pimpl.h
index 681c0a746ff82ce9d43d7f459a86019527fa0bc4..e449c8b08ec5b34695489b15c11e846ca1546871 100644 (file)
--- a/src/lyxlex_pimpl.h
+++ b/src/lyxlex_pimpl.h
@@ -14,10 +14,17 @@
 
 #include "lyxlex.h"
 
-#include "support/gzstream.h"
+#ifdef USE_COMPRESSION
+# include <boost/iostreams/filtering_streambuf.hpp>
+# include <boost/iostreams/filter/gzip.hpp>
+# include <boost/iostreams/device/file.hpp>
+namespace io = boost::iostreams;
+#endif
 
 #include <boost/utility.hpp>
 
+#include <fstream>
+#include <istream>
 #include <stack>
 #include <vector>
 
@@ -56,8 +63,11 @@ public:
        void pushToken(std::string const &);
        /// fb_ is only used to open files, the stream is accessed through is.
        std::filebuf fb_;
+
+#ifdef USE_COMPRESSION
        /// gz_ is only used to open files, the stream is accessed through is.
-       gz::gzstreambuf gz_;
+       io::filtering_istreambuf gz_;
+#endif
 
        /// the stream that we use.
        std::istream is;