<commit_before>(defpackage "SYSTEM-SPEC")
(defpackage "SPECWARE")
(in-package "SPECWARE")

;;; This file is loaded before Specware4.lisp when generating
;;; a Specware distribution

;;;The next three variable initializations need to be changed when going to a new minor version

;; Used in printing out the license and about-specware command
(defvar cl-user::Specware-version "4.0")
(defvar cl-user::Specware-version-name "Specware-4-0")
(defvar cl-user::Specware-patch-level "1")

;; Used in patch detection and about-specware command
(defvar Major-Version-String "4-0")

#+allegro
(#+mswindows
  (;;; Normally autoloaded, but we want to preload them for a stand-alone world
    (require "eli")
    (require "sock")
    (require "trace")
  )
)

;; Override normal definition because of an apparent Allegro bug in
;; generate-application where excl::compile-file-if-needed compiles
;; even if not needed
(defun compile-file-if-needed (file) file)

;;;Patch .fasl files will be named in the form "patch-4-0-x.fasl" and
;;;will probably be copied into a Patches folder in the installation
;;;directory.  Old patch files will not be removed or overwritten.

(defun patch-directory ()
  (let ((specware-dir (system-spec::getEnv "SPECWARE4")))
    (if (equal specware-dir '(:|None|))
	(warn "patch-directory: SPECWARE4 environment variable not set")
      (concatenate 'string (cdr specware-dir) "/Patches/"))))
<commit_msg>Fixed some #+ stuff<commit_after>(defpackage "SYSTEM-SPEC")
(defpackage "SPECWARE")
(in-package "SPECWARE")

;;; This file is loaded before Specware4.lisp when generating
;;; a Specware distribution

;;;The next three variable initializations need to be changed when going to a new minor version

;; Used in printing out the license and about-specware command
(defvar cl-user::Specware-version "4.0")
(defvar cl-user::Specware-version-name "Specware-4-0")
(defvar cl-user::Specware-patch-level "1")

;; Used in patch detection and about-specware command
(defvar Major-Version-String "4-0")

;;; Normally autoloaded, but we want to preload them for a stand-alone world
#+(and allegro mswindows)
(require "eli")
#+(and allegro mswindows)
(require "sock")
#+(and allegro mswindows)
(require "trace")


;; Override normal definition because of an apparent Allegro bug in
;; generate-application where excl::compile-file-if-needed compiles
;; even if not needed
(defun compile-file-if-needed (file) file)

;;;Patch .fasl files will be named in the form "patch-4-0-x.fasl" and
;;;will probably be copied into a Patches folder in the installation
;;;directory.  Old patch files will not be removed or overwritten.

(defun patch-directory ()
  (let ((specware-dir (system-spec::getEnv "SPECWARE4")))
    (if (equal specware-dir '(:|None|))
	(warn "patch-directory: SPECWARE4 environment variable not set")
      (concatenate 'string (cdr specware-dir) "/Patches/"))))

{'fraction_non_alphanumeric': 0.12504341785342132, 'fraction_numerical': 0.008336227856894755, 'mean_word_length': 4.877551020408164, 'pattern_counts': {'":': 0, '<': 3, '<?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': '11396', 'n_tokens_mistral': 913, 'n_tokens_neox': 896, 'n_words': 323}