<commit_before>(in-package "USER")

(setq *GC-VERBOSE* nil)

(defun load-builder (specware-dir distribution-dir)
  (let* ((specware-buildscripts-dir 
	  (make-pathname :directory (append (pathname-directory specware-dir) '("Release" "BuildScripts"))
			 :defaults  specware-dir))
	 (distribution-scripts-dir 
	  (make-pathname :directory (append (pathname-directory distribution-dir) '("Scripts"))
			 :defaults  distribution-dir))
	 (specware-buildscripts-pathname  (pathname specware-buildscripts-dir))
	 (distribution-scripts-pathname   (pathname distribution-scripts-dir)))
    (flet ((my-load (dir-pathname file)
	     (let ((lisp-file (make-pathname :name file :type "lisp" :defaults dir-pathname))
		   (fasl-file (make-pathname :name file :type "x86f" :defaults dir-pathname)))
	       (if (< (file-write-date lisp-file) (or (file-write-date fasl-file) 0))
		   (load fasl-file)
		 (load (compile-file lisp-file))))))
      (my-load distribution-scripts-pathname  "dist-utils")
      (my-load distribution-scripts-pathname  "dir-utils")
      (my-load specware-buildscripts-pathname "MemoryManagement")
      (my-load distribution-scripts-pathname  "save-image")
      (my-load specware-buildscripts-pathname "GatherSpecwareComponents"))))

(defun build-specware-release (i j k specware-dir distribution-dir verbose?)
  (load-builder specware-dir distribution-dir)
  (prepare_specware_release i j k specware-dir distribution-dir verbose?))



<commit_msg>*** empty log message ***<commit_after>(in-package "USER")

(setq *GC-VERBOSE* nil)

(defun load-builder (specware-dir distribution-dir)
  (let* ((specware-buildscripts-dir 
	  (make-pathname :directory (append (pathname-directory specware-dir) '("Release" "BuildScripts"))
			 :defaults  specware-dir))
	 (distribution-scripts-dir 
	  (make-pathname :directory (append (pathname-directory distribution-dir) '("Scripts"))
			 :defaults  distribution-dir))
	 (specware-buildscripts-pathname  (pathname specware-buildscripts-dir))
	 (distribution-scripts-pathname   (pathname distribution-scripts-dir)))
    (flet ((my-load (dir-pathname file)
	     (let ((lisp-file (make-pathname :name file :type "lisp" :defaults dir-pathname))
		   (fasl-file (make-pathname :name file :type "x86f" :defaults dir-pathname)))
	       (if (< (file-write-date lisp-file) (or (file-write-date fasl-file) 0))
		   (load fasl-file)
		 (load (compile-file lisp-file))))))
      (my-load distribution-scripts-pathname  "dist-utils")
      (my-load distribution-scripts-pathname  "dir-utils")
      (my-load specware-buildscripts-pathname "MemoryManagement")
      (my-load distribution-scripts-pathname  "save-image")
      (my-load specware-buildscripts-pathname "GatherSpecwareComponents"))))

(defun build-specware-release (i j k specware-dir distribution-dir verbose?)
  (load-builder specware-dir distribution-dir)
  (funcall 'user::prepare_specware_release i j k specware-dir distribution-dir verbose?))




{'fraction_non_alphanumeric': 0.14256688113782595, 'fraction_numerical': 0.002031832035218422, 'mean_word_length': 4.332129963898917, 'pattern_counts': {'":': 0, '<': 5, '<?xml version=': 0, '>': 3, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '2362567', 'n_tokens_mistral': 996, 'n_tokens_neox': 936, 'n_words': 207}