mirror of
https://github.com/pybind/pybind11.git
synced 2024-11-11 16:13:53 +00:00
645d83813b
* feat: basic typing support * docs: mention syncing as suggested by @rwgk * docs: update changelog * docs: copy of warning in limitations
39 lines
1.1 KiB
Python
39 lines
1.1 KiB
Python
# -*- coding: utf-8 -*-
|
|
from __future__ import print_function, division
|
|
import os
|
|
import sys
|
|
|
|
# Internal build script for generating debugging test .so size.
|
|
# Usage:
|
|
# python libsize.py file.so save.txt -- displays the size of file.so and, if save.txt exists, compares it to the
|
|
# size in it, then overwrites save.txt with the new size for future runs.
|
|
|
|
if len(sys.argv) != 3:
|
|
sys.exit("Invalid arguments: usage: python libsize.py file.so save.txt")
|
|
|
|
lib = sys.argv[1]
|
|
save = sys.argv[2]
|
|
|
|
if not os.path.exists(lib):
|
|
sys.exit("Error: requested file ({}) does not exist".format(lib))
|
|
|
|
libsize = os.path.getsize(lib)
|
|
|
|
print("------", os.path.basename(lib), "file size:", libsize, end="")
|
|
|
|
if os.path.exists(save):
|
|
with open(save) as sf:
|
|
oldsize = int(sf.readline())
|
|
|
|
if oldsize > 0:
|
|
change = libsize - oldsize
|
|
if change == 0:
|
|
print(" (no change)")
|
|
else:
|
|
print(" (change of {:+} bytes = {:+.2%})".format(change, change / oldsize))
|
|
else:
|
|
print()
|
|
|
|
with open(save, "w") as sf:
|
|
sf.write(str(libsize))
|