import geopandas as gpd
from shapely.geometry import Polygon
points =[(113.2815958440001,23.140979446000074),(113.28158917700011,23.140823261000037),(113.28135503800002,23.14083325400003),(113.28136170500011,23.140989440000055),(113.2815958440001,23.140979446000074)]
polygon = Polygon(points)
gdf = gpd.GeoDataFrame(index=[0], crs=‘EPSG:4326’, geometry=[polygon])
gdf.to_file(filename=‘./buildings.shp’, driver=‘ESRI Shapefile’)