1#!/usr/bin/env python 2# obsolete 3 4import glob 5import os 6import os.path 7import platformer 8import distutils.util 9 10plat_name = distutils.util.get_platform().replace('-', '_') 11output = os.path.abspath(os.path.join('ed25519ll', '_ed25519_%s' % plat_name)) 12os.chdir("ed25519-supercop-ref10") 13platformer.platform.compile(glob.glob("*.c"), 14 platformer.ExternalCompilationInfo(compile_extra=['-march=native']), 15 outputfilename=output, standalone=False) 16