add new non-compile-affecting options for ghc 9.12

- ghc 9.12 adds several new command line options, divided between
  `LANGUAGE`s (already added), warnings, new preprocessor control options,
  and compilation control options. Two options needed to be added to the
  list of options requiring `Int` parameters.

  The new options, excluding warning and language options, are:

  * `-fexpose-overloaded-unfoldings`
  * `-fmax-forced-spec-args=N`
  * `-fno-expose-overloaded-unfoldings`
  * `-fno-object-determinism`
  * `-fobject-determinism`
  * `-fwrite-if-compression=N`
  * `-optCmmP…`
  * `-optJSP…`
  * `-pgmCmmP`
  * `-pgmJSP`

Cabal/src/Distribution/Simple/Program/GHC.hs

@@ -329,6 +329,7 @@ normaliseGhcArgs (Just ghcVersion) PackageDescription{..} ghcArgs
           ]
         , from [8, 2] ["-fmax-uncovered-patterns", "-fmax-errors"]
         , from [8, 4] $ to [8, 6] ["-fmax-valid-substitutions"]
+        , from [9, 12] ["-fmax-forced-spec-args", "-fwrite-if-compression"]
         ]
 
     dropIntFlag :: Bool -> String -> String -> Any

changelog.d/pr-10468

@@ -0,0 +1,25 @@
+synopsis: Add new non-compilation-affecting options from ghc 9.12
+packages: Cabal
+prs: #10468
+significance:
+
+description: {
+
+- ghc 9.12 adds several new command line options, divided between
+  `LANGUAGE`s (already added), warnings, new preprocessor control options,
+  and compilation control options. Two options needed to be added to the
+  list of options requiring `Int` parameters.
+
+  The new options, excluding warning and language options, are:
+
+  * `-fexpose-overloaded-unfoldings`
+  * `-fmax-forced-spec-args=N`
+  * `-fno-expose-overloaded-unfoldings`
+  * `-fobject-determinism`
+  * `-fwrite-if-compression=N`
+  * `-optCmmP…`
+  * `-optJSP…`
+  * `-pgmCmmP`
+  * `-pgmJSP`
+
+}