From 7f5eb56055fb199f994e883714d87d1dd187776b Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Daniel=20Kochma=C5=84ski?= Date: Tue, 21 Feb 2023 14:38:50 +0100 Subject: [PATCH] cmp: treat compilation-speed as a separate optimization option Policy api works now with compilation speed (although we have no policies for compilation-speed currently). Supersedes !241. --- src/cmp/cmpenv-proclaim.lsp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/cmp/cmpenv-proclaim.lsp b/src/cmp/cmpenv-proclaim.lsp index 546335a48..de0bcc6f4 100644 --- a/src/cmp/cmpenv-proclaim.lsp +++ b/src/cmp/cmpenv-proclaim.lsp @@ -47,7 +47,7 @@ (SAFETY (setq *safety* (second x))) (SPACE (setq *space* (second x))) (SPEED (setq *speed* (second x))) - (COMPILATION-SPEED (setq *speed* (- 3 (second x)))) + (COMPILATION-SPEED (setq *compilation-speed* (second x))) (t (warn "The OPTIMIZE quality ~s is unknown." (car x))))))) (cl:TYPE (if (consp (cdr decl))