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