head 1.2; access; symbols pkgsrc-2026Q1:1.2.0.28 pkgsrc-2026Q1-base:1.2 pkgsrc-2025Q4:1.2.0.26 pkgsrc-2025Q4-base:1.2 pkgsrc-2025Q3:1.2.0.24 pkgsrc-2025Q3-base:1.2 pkgsrc-2025Q2:1.2.0.22 pkgsrc-2025Q2-base:1.2 pkgsrc-2025Q1:1.2.0.20 pkgsrc-2025Q1-base:1.2 pkgsrc-2024Q4:1.2.0.18 pkgsrc-2024Q4-base:1.2 pkgsrc-2024Q3:1.2.0.16 pkgsrc-2024Q3-base:1.2 pkgsrc-2024Q2:1.2.0.14 pkgsrc-2024Q2-base:1.2 pkgsrc-2024Q1:1.2.0.12 pkgsrc-2024Q1-base:1.2 pkgsrc-2023Q4:1.2.0.10 pkgsrc-2023Q4-base:1.2 pkgsrc-2023Q3:1.2.0.8 pkgsrc-2023Q3-base:1.2 pkgsrc-2023Q2:1.2.0.6 pkgsrc-2023Q2-base:1.2 pkgsrc-2023Q1:1.2.0.4 pkgsrc-2023Q1-base:1.2 pkgsrc-2022Q4:1.2.0.2 pkgsrc-2022Q4-base:1.2 pkgsrc-2022Q3:1.1.0.42 pkgsrc-2022Q3-base:1.1 pkgsrc-2022Q2:1.1.0.40 pkgsrc-2022Q2-base:1.1 pkgsrc-2022Q1:1.1.0.38 pkgsrc-2022Q1-base:1.1 pkgsrc-2021Q4:1.1.0.36 pkgsrc-2021Q4-base:1.1 pkgsrc-2021Q3:1.1.0.34 pkgsrc-2021Q3-base:1.1 pkgsrc-2021Q2:1.1.0.32 pkgsrc-2021Q2-base:1.1 pkgsrc-2021Q1:1.1.0.30 pkgsrc-2021Q1-base:1.1 pkgsrc-2020Q4:1.1.0.28 pkgsrc-2020Q4-base:1.1 pkgsrc-2020Q3:1.1.0.26 pkgsrc-2020Q3-base:1.1 pkgsrc-2020Q2:1.1.0.22 pkgsrc-2020Q2-base:1.1 pkgsrc-2020Q1:1.1.0.2 pkgsrc-2020Q1-base:1.1 pkgsrc-2019Q4:1.1.0.24 pkgsrc-2019Q4-base:1.1 pkgsrc-2019Q3:1.1.0.20 pkgsrc-2019Q3-base:1.1 pkgsrc-2019Q2:1.1.0.18 pkgsrc-2019Q2-base:1.1 pkgsrc-2019Q1:1.1.0.16 pkgsrc-2019Q1-base:1.1 pkgsrc-2018Q4:1.1.0.14 pkgsrc-2018Q4-base:1.1 pkgsrc-2018Q3:1.1.0.12 pkgsrc-2018Q3-base:1.1 pkgsrc-2018Q2:1.1.0.10 pkgsrc-2018Q2-base:1.1 pkgsrc-2018Q1:1.1.0.8 pkgsrc-2018Q1-base:1.1 pkgsrc-2017Q4:1.1.0.6 pkgsrc-2017Q4-base:1.1 pkgsrc-2017Q3:1.1.0.4 pkgsrc-2017Q3-base:1.1; locks; strict; comment @# @; 1.2 date 2022.10.09.07.02.47; author tonio; state Exp; branches; next 1.1; commitid qyIrTlubL5MzM0XD; 1.1 date 2017.09.05.07.30.00; author dholland; state Exp; branches; next ; commitid Bd2BYoQavXq2IY5A; desc @@ 1.2 log @Update devel/frama-c to 25.0 - Kernel [2022-10-05] Support for ghost VLA and calls to builtins with ghost arguments. - Eva [2022-09-16] Numerors now needs MLMPFR 4.1.0+bugfix2 - Kernel [2022-09-07] Improve error message for invalid options -D/-I/-U. o! Configure [2022-07-28] Removed autoconf and configure o! Makefile [2022-07-11] Removed Makefile, Frama-C is now built using Dune 3.x o! Pdg [2022-07-01] Removed from Db. Use proper Pdg API instead. -! Kernel [2022-06-06] Remove journalisation. #################################### Open Source Release 25.0 (Manganese) #################################### o Kernel [2022-05-03] Prototype of AST comparison between two versions of the same program, via the new option -ast-diff. - Eva [2022-05-02] Fixes stack overflow errors on very large C functions. - Eva [2022-04-25] Improve the multidim abstract domain: it is now more precise and more robust, it is able to infer simple array invariants on some loops without unrolling, and has a new option -eva-multidim-disjunctive-invariants to infer structures disjunctive invariants. o Kernel [2022-03-07] Known compiler builtins are no longer hardcoded in OCaml, but defined via JSON files (in share/compliance). o Kernel [2022-02-23] New visitor functions visitFramacFileFunctions and visitCilFileFunctions to visit only function definitions, for better performance. o! Kernel [2022-02-23] Remove State_selection.Static (deprecated since 10 years, use directly State_selection instead) -* Kernel [2022-02-22] Fix list of potential types for decimal integer literal constants * Kernel [2022-02-17] Reject programs using unsupported vector_size attribute (fixes ##2573) o Eva [2022-02-15] New API to run the analysis and access its results, intended to replace the old API in Db.Value. It is more precise as it uses all available domains to evaluate values and locations. See file Eva.mli for more details. * Kernel [2022-02-08] Reject array whose size is too big with a proper error message instead of a crash (fixes ##2590) o! Kernel [2022-02-19] Removed obsolete AST nodes IndexPI and Info * Kernel [2022-02-08] Reject array whose size is too big with a proper error message instead of a crash (fixes ##2590) o! Kernel [2021-12-03] Remove unused AST node Dcustom_annot and field fpadding_in_bits. Do not cache size of types in the AST but in a dedicated table. -* Logic [2021-11-30] Fix type of expressions whose value are functions o! Kernel [2021-11-29] Integer.pretty does not have the optional argument hexa anymore. Use Integer.pretty_hex or Integer.pp_hex if you want to print integers in hexadecimal format. @ text @$NetBSD: patch-Makefile,v 1.1 2017/09/05 07:30:00 dholland Exp $ Don't install nonexecutables with execute permission. --- Makefile.orig 2022-06-21 00:00:00.000000000 +0000 +++ Makefile @@@@ -1974,7 +1974,7 @@@@ install:: install-lib-$(OCAMLBEST) $(MKDIR) $(FRAMAC_DATADIR)/libc/net $(MKDIR) $(FRAMAC_DATADIR)/libc/arpa $(PRINT_INSTALL) shared files - $(CP) \ + $(CPNX) \ $(wildcard share/*.c share/*.h) \ share/Makefile.dynamic share/Makefile.plugin.template \ share/Makefile.config share/Makefile.common share/Makefile.generic \ @@@@ -2013,7 +2013,7 @@@@ install:: install-lib-$(OCAMLBEST) share/analysis-scripts/template.mk \ $(FRAMAC_DATADIR)/analysis-scripts $(MKDIR) $(FRAMAC_DATADIR)/compliance - $(CP) share/compliance/c11_functions.json \ + $(CPNX) share/compliance/c11_functions.json \ share/compliance/c11_headers.json \ share/compliance/compiler_builtins.json \ share/compliance/gcc_builtins.json \ @@@@ -2022,23 +2022,23 @@@@ install:: install-lib-$(OCAMLBEST) share/compliance/posix_identifiers.json \ $(FRAMAC_DATADIR)/compliance $(MKDIR) $(FRAMAC_DATADIR)/emacs - $(CP) $(wildcard share/emacs/*.el) $(FRAMAC_DATADIR)/emacs - $(CP) share/frama-c.rc $(ICONS) $(FRAMAC_DATADIR) - $(CP) $(THEME_ICONS_DEFAULT) $(FRAMAC_DATADIR)/theme/default - $(CP) $(THEME_ICONS_COLORBLIND) $(FRAMAC_DATADIR)/theme/colorblind - $(CP) $(THEME_ICONS_FLAT) $(FRAMAC_DATADIR)/theme/flat + $(CPNX) $(wildcard share/emacs/*.el) $(FRAMAC_DATADIR)/emacs + $(CPNX) share/frama-c.rc $(ICONS) $(FRAMAC_DATADIR) + $(CPNX) $(THEME_ICONS_DEFAULT) $(FRAMAC_DATADIR)/theme/default + $(CPNX) $(THEME_ICONS_COLORBLIND) $(FRAMAC_DATADIR)/theme/colorblind + $(CPNX) $(THEME_ICONS_FLAT) $(FRAMAC_DATADIR)/theme/flat if [ -d $(EMACS_DATADIR) ]; then \ - $(CP) $(wildcard share/emacs/*.el) $(EMACS_DATADIR); \ + $(CPNX) $(wildcard share/emacs/*.el) $(EMACS_DATADIR); \ fi - $(CP) share/Makefile.dynamic_config.external \ + $(CPNX) share/Makefile.dynamic_config.external \ $(FRAMAC_DATADIR)/Makefile.dynamic_config $(PRINT_INSTALL) C standard library - $(CP) $(wildcard share/libc/*.c share/libc/*.i share/libc/*.h) \ + $(CPNX) $(wildcard share/libc/*.c share/libc/*.i share/libc/*.h) \ $(FRAMAC_DATADIR)/libc - $(CP) share/libc/sys/*.[ch] $(FRAMAC_DATADIR)/libc/sys - $(CP) share/libc/arpa/*.[ch] $(FRAMAC_DATADIR)/libc/arpa - $(CP) share/libc/net/*.[ch] $(FRAMAC_DATADIR)/libc/net - $(CP) share/libc/netinet/*.[ch] $(FRAMAC_DATADIR)/libc/netinet + $(CPNX) share/libc/sys/*.[ch] $(FRAMAC_DATADIR)/libc/sys + $(CPNX) share/libc/arpa/*.[ch] $(FRAMAC_DATADIR)/libc/arpa + $(CPNX) share/libc/net/*.[ch] $(FRAMAC_DATADIR)/libc/net + $(CPNX) share/libc/netinet/*.[ch] $(FRAMAC_DATADIR)/libc/netinet $(PRINT_INSTALL) binaries $(CP) bin/toplevel.$(OCAMLBEST) $(BINDIR)/frama-c$(EXE) $(CP) bin/toplevel.byte$(EXE) $(BINDIR)/frama-c.byte$(EXE) @@@@ -2058,15 +2058,15 @@@@ install:: install-lib-$(OCAMLBEST) $(CP) bin/frama-c-script $(BINDIR)/frama-c-script; \ fi $(PRINT_INSTALL) config files - $(CP) $(addprefix ptests/,$(PTESTS_FILES)) $(FRAMAC_LIBDIR) + $(CPNX) $(addprefix ptests/,$(PTESTS_FILES)) $(FRAMAC_LIBDIR) $(PRINT_INSTALL) API documentation $(MKDIR) $(FRAMAC_DATADIR)/doc/code - $(CP) $(wildcard $(DOC_GEN_FILES)) $(FRAMAC_DATADIR)/doc/code + $(CPNX) $(wildcard $(DOC_GEN_FILES)) $(FRAMAC_DATADIR)/doc/code $(PRINT_INSTALL) plug-ins if [ -d "$(FRAMAC_PLUGIN)" ]; then \ - $(CP) $(PLUGIN_DYN_CMI_LIST) $(PLUGIN_META_LIST) \ + $(CPNX) $(PLUGIN_DYN_CMI_LIST) $(PLUGIN_META_LIST) \ $(FRAMAC_PLUGINDIR); \ - $(CP) $(PLUGIN_DYN_CMO_LIST) $(FRAMAC_PLUGINDIR)/top; \ + $(CPNX) $(PLUGIN_DYN_CMO_LIST) $(FRAMAC_PLUGINDIR)/top; \ if [ "$(OCAMLBEST)" = "opt" ]; then \ $(CP) $(PLUGIN_DYN_CMX_LIST) $(FRAMAC_PLUGINDIR)/top; \ fi; \ @@@@ -2074,15 +2074,15 @@@@ install:: install-lib-$(OCAMLBEST) $(PRINT_INSTALL) gui plug-ins if [ -d "$(FRAMAC_PLUGIN_GUI)" -a "$(PLUGIN_DYN_GUI_EXISTS)" = "yes" ]; \ then \ - $(CP) $(patsubst %.cma,%.cmi,$(PLUGIN_DYN_GUI_CMO_LIST:.cmo=.cmi)) \ + $(CPNX) $(patsubst %.cma,%.cmi,$(PLUGIN_DYN_GUI_CMO_LIST:.cmo=.cmi)) \ $(PLUGIN_DYN_GUI_CMO_LIST) $(FRAMAC_PLUGINDIR)/gui; \ if [ "$(OCAMLBEST)" = "opt" ]; then \ $(CP) $(PLUGIN_DYN_GUI_CMX_LIST) $(FRAMAC_PLUGINDIR)/gui; \ fi; \ fi $(PRINT_INSTALL) man pages - $(CP) man/frama-c.1 $(MANDIR)/man1/frama-c.1 - $(CP) man/frama-c.1 $(MANDIR)/man1/frama-c-gui.1 + $(CPNX) man/frama-c.1 $(MANDIR)/man1/frama-c.1 + $(CPNX) man/frama-c.1 $(MANDIR)/man1/frama-c-gui.1 .PHONY: uninstall uninstall:: @ 1.1 log @Update to 20170501 (v15.x, "Phosphorus"). This reflects six major upstream releases, so visit the HOMEPAGE for further info. pkgsrc changes: - old patches were rolled in upstream - use the ocaml framework - depends on more ocaml libraries - depends on lang/coq by default; turn off the coq option to avoid this XXX: You must build ocamlgraph with ocaml-lablgtk support (which is XXX: not the default) or the build fails on missing module "Dgraph". @ text @d1 1 a1 1 $NetBSD$ d5 1 a5 1 --- Makefile.orig 2017-06-01 08:02:11.000000000 +0000 d7 1 a7 1 @@@@ -1527,30 +1527,30 @@@@ install:: install-lib d14 1 a14 1 share/Makefile.dynamic share/Makefile.plugin.template share/Makefile.kernel \ d16 12 a27 2 share/configure.ac share/autocomplete_frama-c \ $(FRAMAC_DATADIR) d31 3 a33 2 - $(CP) $(FEEDBACK_ICONS_DEFAULT) $(FRAMAC_DATADIR)/theme/default - $(CP) $(FEEDBACK_ICONS_COLORBLIND) $(FRAMAC_DATADIR)/theme/colorblind d36 3 a38 2 + $(CPNX) $(FEEDBACK_ICONS_DEFAULT) $(FRAMAC_DATADIR)/theme/default + $(CPNX) $(FEEDBACK_ICONS_COLORBLIND) $(FRAMAC_DATADIR)/theme/colorblind a53 1 - $(CP) share/libc/linux/*.[ch] $(FRAMAC_DATADIR)/libc/linux a57 1 + $(CPNX) share/libc/linux/*.[ch] $(FRAMAC_DATADIR)/libc/linux d61 2 a62 2 @@@@ -1569,27 +1569,27 @@@@ install:: install-lib $(CP) bin/frama-c-config$(EXE) $(BINDIR); \ d71 2 a72 2 $(PRINT_INSTALL) dynamic plug-ins if [ -d "$(FRAMAC_PLUGIN)" -a "$(PLUGIN_DYN_EXISTS)" = "yes" ]; then \ d76 7 a82 5 - $(CP) $(PLUGIN_DYN_CMO_LIST) $(PLUGIN_DYN_CMX_LIST) \ + $(CPNX) $(PLUGIN_DYN_CMO_LIST) $(PLUGIN_DYN_CMX_LIST) \ $(FRAMAC_PLUGINDIR)/top; \ fi $(PRINT_INSTALL) dynamic gui plug-ins d87 4 a90 2 $(PLUGIN_DYN_GUI_CMO_LIST) $(PLUGIN_DYN_GUI_CMX_LIST) \ $(FRAMAC_PLUGINDIR)/gui; \ @