| 
									
										
										
										
											2023-08-02 20:29:43 +00:00
										 |  |  | # This number should be bumped up if making a non-additive change
 | 
					
						
							|  |  |  | # to python packages.
 | 
					
						
							| 
									
										
										
										
											2023-11-09 18:21:06 +00:00
										 |  |  | GRIST_PYODIDE_VERSION = 3 | 
					
						
							| 
									
										
										
										
											2023-08-02 20:29:43 +00:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2023-03-06 21:56:25 +00:00
										 |  |  | default: | 
					
						
							|  |  |  | 	echo "Welcome to the pyodide sandbox" | 
					
						
							|  |  |  | 	echo "make fetch_packages  # gets python packages prepared earlier" | 
					
						
							|  |  |  | 	echo "make build_packages  # build python packages from scratch" | 
					
						
							|  |  |  | 	echo "make save_packages   # upload python packages to fetch later" | 
					
						
							| 
									
										
										
										
											2023-08-02 20:29:43 +00:00
										 |  |  | 	echo "make clean_packages  # remove local cache of python packages" | 
					
						
							|  |  |  | 	echo "setup  # get pyodide node package, and python packages" | 
					
						
							| 
									
										
										
										
											2023-03-06 21:56:25 +00:00
										 |  |  | 
 | 
					
						
							|  |  |  | fetch_packages: | 
					
						
							| 
									
										
										
										
											2023-08-02 20:29:43 +00:00
										 |  |  | 	node ./packages.js https://s3.amazonaws.com/grist-pynbox/pyodide/packages/v$(GRIST_PYODIDE_VERSION)/ _build/packages/ | 
					
						
							| 
									
										
										
										
											2023-03-06 21:56:25 +00:00
										 |  |  | 
 | 
					
						
							|  |  |  | build_packages: | 
					
						
							|  |  |  | 	./build_packages.sh | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | save_packages: | 
					
						
							| 
									
										
										
										
											2023-08-02 20:29:43 +00:00
										 |  |  | 	aws s3 sync _build/packages s3://grist-pynbox/pyodide/packages/v$(GRIST_PYODIDE_VERSION) | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | clean_packages: | 
					
						
							|  |  |  | 	rm -rf _build/packages | 
					
						
							| 
									
										
										
										
											2023-08-29 19:21:34 +00:00
										 |  |  | 	rm -rf _build/pyodide/grist-packages | 
					
						
							| 
									
										
										
										
											2023-03-06 21:56:25 +00:00
										 |  |  | 
 | 
					
						
							|  |  |  | setup: | 
					
						
							|  |  |  | 	./setup.sh | 
					
						
							|  |  |  | 	make fetch_packages |