fplll / fpylll

A Python interface for https://github.com/fplll/fplll
GNU General Public License v2.0
122 stars 62 forks source link

Do not use time.clock(), fixes #126. #139

Closed J08nY closed 5 years ago

malb commented 5 years ago

This needs a Python 2 clutch I think

J08nY commented 5 years ago

Yep, what do you propose? There is no adequate non-deprecated function like time.clock in both Python 2 and Python 3.

malb commented 5 years ago

It'd go for

try:
   from time import process_time # Python 3
except ImportError:
  from time import clock as process_time  # Python 2 
J08nY commented 5 years ago

It'd go for

try:
   from time import process_time # Python 3
except ImportError:
  from time import clock as process_time  # Python 2 

This should now be fixed and ready to merge.

malb commented 5 years ago

Ta!