|
|
@@ -7,7 +7,10 @@ import gzip
|
|
|
def bootstrap():
|
|
|
root = ["__hierarchy"]
|
|
|
|
|
|
+ user_manager = "user_manager"
|
|
|
bootstrap_files = glob.glob("bootstrap/*.alc")
|
|
|
+ initial_code_manager = "bootstrap/initial_code_manager.alc"
|
|
|
+ initial_code_user = "bootstrap/initial_code_user.alc"
|
|
|
|
|
|
user_data = [ "input",
|
|
|
"output",
|
|
|
@@ -105,10 +108,6 @@ def bootstrap():
|
|
|
"time": ["Float"],
|
|
|
}
|
|
|
|
|
|
- user_manager = "user_manager"
|
|
|
- initial_code_manager = "bootstrap/initial_code_manager.alc"
|
|
|
- initial_code_user = "bootstrap/initial_code_user.alc"
|
|
|
-
|
|
|
### Actual script to generate the file
|
|
|
import os
|
|
|
import sys
|
