feat: StandardLibrary for Go

Author: Shubham Chaturvedi

StandardLibrary/Makefile

@@ -3,10 +3,25 @@
 
 CORES=2
 
-include ../SharedMakefileV2.mk
 
 MAX_RESOURCE_COUNT=500000000
-LIBRARIES := 
+LIBRARIES :=
+
+
+
+# Override with our new version
+transpile_go: | remove_extern
+	make restore_extern
+
+remove_extern:
+	@sed -i '' 's/{:extern "DafnyLibraries.FileIO", "INTERNAL_ReadBytesFromFile"}/{:extern "INTERNAL_ReadBytesFromFile"}/g' ../libraries/src/FileIO/FileIO.dfy
+	@sed -i '' 's/{:extern "DafnyLibraries.FileIO", "INTERNAL_WriteBytesToFile"}/{:extern "INTERNAL_WriteBytesToFile"}/g' ../libraries/src/FileIO/FileIO.dfy
+	@echo "Remove DafnyLibraries.FileIO externs"
+
+restore_extern:
+	@sed -i '' 's/{:extern "INTERNAL_ReadBytesFromFile"}/{:extern "DafnyLibraries.FileIO", "INTERNAL_ReadBytesFromFile"}/g' ../libraries/src/FileIO/FileIO.dfy
+	@sed -i '' 's/{:extern "INTERNAL_WriteBytesToFile"}/{:extern "DafnyLibraries.FileIO", "INTERNAL_WriteBytesToFile"}/g' ../libraries/src/FileIO/FileIO.dfy
+	@echo "Restore DafnyLibraries.FileIO externs"
 
 # Since everything depends on the StandardLibrary
 # it is included as a library in the SharedMakefile.
@@ -30,3 +45,5 @@ RUST_OTHER_FILES := \
 
 polymorph_rust:
 	@echo no polymorph needed for StandardLibrary
+
+include ../SharedMakefileV2.mk