Changeset - r134:0775d2ba2afb
« 133:d76e2f
135:6e7aee »
gravatar
deba@inf.elte.hu
deba@inf.elte.hu
MinGW compatibility for graph_to_eps.h
0 1 0
default
1 file changed with 23 insertions and 7 deletions:
lemon/graph_to_eps.h
23
7
↑ Collapse diff ↑
lemon/graph_to_eps.h
Show white space 6 line context
... ... 
@@ -19,19 +19,18 @@
19 19 
#ifndef LEMON_GRAPH_TO_EPS_H
20 20 
#define LEMON_GRAPH_TO_EPS_H
21 21 

			




	22
	
	
		
#include <sys/time.h>


			




	23
	
	
		

			




	24
	
	
		
#ifdef WIN32


			




	25
	
	
		
#include <lemon/bits/mingw32_time.h>


			




	26
	
	
		
#endif


			




	27
	
	
		

			




	28
	22
	
		
#include<iostream>


			




	29
	23
	
		
#include<fstream>


			




	30
	24
	
		
#include<sstream>


			




	31
	25
	
		
#include<algorithm>


			




	32
	26
	
		
#include<vector>


			




	33
	27
	
		

			




	
	28
	
		
#ifndef WIN32


			




	
	29
	
		
#include<sys/time.h>


			




	34
	30
	
		
#include<ctime>


			




	
	31
	
		
#else


			




	
	32
	
		
#include<windows.h>


			




	
	33
	
		
#endif


			




	35
	34
	
		

			




	36
	35
	
		
#include<lemon/math.h>


			




	37
	36
	
		
#include<lemon/bits/invalid.h>


			




	...
	...
	
		
@@ -719,11 +718,28 @@


			




	719
	718
	
		
    os << "%%Creator: LEMON, graphToEps()\n";


			




	720
	719
	
		
    


			




	721
	720
	
		
    {


			




	722
	
	
		
      char cbuf[50];


			




	
	721
	
		
#ifndef WIN32 


			




	723
	722
	
		
      timeval tv;


			




	724
	723
	
		
      gettimeofday(&tv, 0);


			




	
	724
	
		

			




	
	725
	
		
      char cbuf[26];


			




	725
	726
	
		
      ctime_r(&tv.tv_sec,cbuf);


			




	726
	727
	
		
      os << "%%CreationDate: " << cbuf;


			




	
	728
	
		
#else


			




	
	729
	
		
      SYSTEMTIME time;


			




	
	730
	
		
      char buf1[11], buf2[9], buf3[5];


			




	
	731
	
		
      


			




	
	732
	
		
      GetSystemTime(&time);


			




	
	733
	
		
      if (GetDateFormat(LOCALE_USER_DEFAULT, 0, &time, 


			




	
	734
	
		
			"ddd MMM dd", buf1, 11) &&


			




	
	735
	
		
	  GetTimeFormat(LOCALE_USER_DEFAULT, 0, &time, 


			




	
	736
	
		
			"HH':'mm':'ss", buf2, 9) &&


			




	
	737
	
		
	  GetDateFormat(LOCALE_USER_DEFAULT, 0, &time, 


			




	
	738
	
		
				"yyyy", buf3, 5)) {


			




	
	739
	
		
	os << "%%CreationDate: " << buf1 << ' ' 


			




	
	740
	
		
	   << buf2 << ' ' << buf3 << std::endl;


			




	
	741
	
		
      }	  


			




	
	742
	
		
#endif


			




	727
	743
	
		
    }


			




	728
	744
	
		

			




	729
	745
	
		
    if (_autoArcWidthScale) {


			




        

    






    
    



    


    

     
    
0 comments (0 inline)