Spaces:
Paused
Paused
Update main.py
Browse files
main.py
CHANGED
|
@@ -174,11 +174,11 @@ def finish():
|
|
| 174 |
with open(script_path, 'w') as file:
|
| 175 |
file.write(modified_cs)
|
| 176 |
|
| 177 |
-
|
| 178 |
-
|
| 179 |
-
|
| 180 |
-
|
| 181 |
-
|
| 182 |
|
| 183 |
# Run the compilation command
|
| 184 |
try:
|
|
|
|
| 174 |
with open(script_path, 'w') as file:
|
| 175 |
file.write(modified_cs)
|
| 176 |
|
| 177 |
+
# Compile the C# script using mcs with the manifest for admin privileges
|
| 178 |
+
compile_command = [
|
| 179 |
+
'mcs', '-target:winexe', '-out:' + exe_name, script_path,
|
| 180 |
+
'-win32icon:app.ico', '-win32manifest:app.manifest','/reference:System.Net.Http.dll'
|
| 181 |
+
]
|
| 182 |
|
| 183 |
# Run the compilation command
|
| 184 |
try:
|