cpet/openbsd-ports
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Enable GUI support. ok sthen@

Browse Source
This commit is contained in:
jca 2014-04-23 14:12:28 +00:00
parent 484f25ad69
commit bdb62a6faf
5 changed files with 103 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
devel/frama-c/Makefile
View File

@ -1,9 +1,10 @@
# $OpenBSD: Makefile,v 1.2 2014/04/21 22:15:33 jca Exp $
# $OpenBSD: Makefile,v 1.3 2014/04/23 14:12:28 jca Exp $
COMMENT = an extensible platform for analysis of C software
DISTNAME = frama-c-Neon-20140301
PKGNAME = frama-c-1.10
REVISION = 0
CATEGORIES = devel
HOMEPAGE = http://www.frama-c.com/
@ -16,15 +17,14 @@ WANTLIB += c curses m pthread
MODULES = lang/ocaml
# to build the GUI, x11/lablgtk2 would need to be built with
# libgnomecanvas support
BUILD_DEPENDS = x11/lablgtk2>=2.18.0p2
RUN_DEPENDS = x11/lablgtk2>=2.18.0p2
USE_GMAKE = Yes
TEST_TARGET = oracles tests
CONFIGURE_STYLE = gnu
CONFIGURE_ARGS += MAKE=${MAKE_PROGRAM} \
--docdir=${PREFIX}/share/doc/frama-c/ \
--disable-gui
--docdir=${PREFIX}/share/doc/frama-c/
.include <bsd.port.mk>

5
devel/frama-c/pkg/PFRAG.dynlink-native
View File

@ -1,5 +1,8 @@
@comment $OpenBSD: PFRAG.dynlink-native,v 1.1.1.1 2014/04/21 16:02:26 jca Exp $
@comment $OpenBSD: PFRAG.dynlink-native,v 1.2 2014/04/23 14:12:28 jca Exp $
@bin lib/frama-c/plugins/Aorai.cmxs
@bin lib/frama-c/plugins/Obfuscator.cmxs
@bin lib/frama-c/plugins/Report.cmxs
@bin lib/frama-c/plugins/Security_slicing.cmxs
@bin lib/frama-c/plugins/Wp.cmxs
@bin lib/frama-c/plugins/gui/Security_slicing.cmxs
@bin lib/frama-c/plugins/gui/Wp.cmxs

48
devel/frama-c/pkg/PFRAG.native
View File

@ -1,4 +1,4 @@
@comment $OpenBSD: PFRAG.native,v 1.1.1.1 2014/04/21 16:02:26 jca Exp $
@comment $OpenBSD: PFRAG.native,v 1.2 2014/04/23 14:12:28 jca Exp $
%%dynlink%%
@bin bin/ptests.opt
lib/frama-c/Constant_Propagation.cmx
@ -47,6 +47,8 @@ lib/frama-c/allocates.cmx
lib/frama-c/allocates.o
lib/frama-c/alpha.cmx
lib/frama-c/alpha.o
lib/frama-c/analyses_manager.cmx
lib/frama-c/analyses_manager.o
lib/frama-c/annotations.cmx
lib/frama-c/annotations.o
lib/frama-c/ast.cmx
@ -65,6 +67,8 @@ lib/frama-c/bit_utils.cmx
lib/frama-c/bit_utils.o
lib/frama-c/bitvector.cmx
lib/frama-c/bitvector.o
lib/frama-c/book_manager.cmx
lib/frama-c/book_manager.o
lib/frama-c/boot.cmx
lib/frama-c/boot.o
lib/frama-c/buckx.cmx
@ -131,10 +135,14 @@ lib/frama-c/db.cmx
lib/frama-c/db.o
lib/frama-c/deadcodeelim.cmx
lib/frama-c/deadcodeelim.o
lib/frama-c/debug_manager.cmx
lib/frama-c/debug_manager.o
lib/frama-c/descr.cmx
lib/frama-c/descr.o
lib/frama-c/description.cmx
lib/frama-c/description.o
lib/frama-c/design.cmx
lib/frama-c/design.o
lib/frama-c/dominators.cmx
lib/frama-c/dominators.o
lib/frama-c/dynamic.cmx
@ -153,8 +161,12 @@ lib/frama-c/extlib.cmx
lib/frama-c/extlib.o
lib/frama-c/file.cmx
lib/frama-c/file.o
lib/frama-c/file_manager.cmx
lib/frama-c/file_manager.o
lib/frama-c/filepath.cmx
lib/frama-c/filepath.o
lib/frama-c/filetree.cmx
lib/frama-c/filetree.o
lib/frama-c/filter.cmx
lib/frama-c/filter.o
lib/frama-c/floating_point.cmx
@ -167,6 +179,16 @@ lib/frama-c/globals.cmx
lib/frama-c/globals.o
lib/frama-c/graph.cmx
lib/frama-c/graph.o
lib/frama-c/gtk_form.cmx
lib/frama-c/gtk_form.o
lib/frama-c/gtk_helper.cmx
lib/frama-c/gtk_helper.o
lib/frama-c/gui_parameters.cmx
lib/frama-c/gui_parameters.o
lib/frama-c/help_manager.cmx
lib/frama-c/help_manager.o
lib/frama-c/history.cmx
lib/frama-c/history.o
lib/frama-c/hook.cmx
lib/frama-c/hook.o
lib/frama-c/hptmap.cmx
@ -197,6 +219,8 @@ lib/frama-c/kernel_function.cmx
lib/frama-c/kernel_function.o
lib/frama-c/lattice_Interval_Set.cmx
lib/frama-c/lattice_Interval_Set.o
lib/frama-c/launcher.cmx
lib/frama-c/launcher.o
lib/frama-c/lexerhack.cmx
lib/frama-c/lexerhack.o
lib/frama-c/liveness.cmx
@ -241,6 +265,8 @@ lib/frama-c/machdep_x86_64.cmx
lib/frama-c/machdep_x86_64.o
lib/frama-c/map_Lattice.cmx
lib/frama-c/map_Lattice.o
lib/frama-c/menu_manager.cmx
lib/frama-c/menu_manager.o
lib/frama-c/mergecil.cmx
lib/frama-c/mergecil.o
lib/frama-c/messages.cmx
@ -275,8 +301,16 @@ lib/frama-c/plugins/Obfuscator.cmi
lib/frama-c/plugins/Obfuscator.cmo
lib/frama-c/plugins/Report.cmi
lib/frama-c/plugins/Report.cmo
lib/frama-c/plugins/Security_slicing.cmi
lib/frama-c/plugins/Security_slicing.cmo
lib/frama-c/plugins/Wp.cma
lib/frama-c/plugins/Wp.cmi
lib/frama-c/plugins/gui/Security_slicing.cmi
lib/frama-c/plugins/gui/Security_slicing.cmo
lib/frama-c/plugins/gui/Wp.cma
lib/frama-c/plugins/gui/Wp.cmi
lib/frama-c/pretty_source.cmx
lib/frama-c/pretty_source.o
lib/frama-c/pretty_utils.cmx
lib/frama-c/pretty_utils.o
lib/frama-c/printer.cmx
@ -285,10 +319,14 @@ lib/frama-c/printer_builder.cmx
lib/frama-c/printer_builder.o
lib/frama-c/project.cmx
lib/frama-c/project.o
lib/frama-c/project_manager.cmx
lib/frama-c/project_manager.o
lib/frama-c/project_skeleton.cmx
lib/frama-c/project_skeleton.o
lib/frama-c/property.cmx
lib/frama-c/property.o
lib/frama-c/property_navigator.cmx
lib/frama-c/property_navigator.o
lib/frama-c/property_status.cmx
lib/frama-c/property_status.o
lib/frama-c/ptests_config.cmx
@ -309,6 +347,10 @@ lib/frama-c/slicingInternals.cmx
lib/frama-c/slicingInternals.o
lib/frama-c/slicingTypes.cmx
lib/frama-c/slicingTypes.o
lib/frama-c/source_manager.cmx
lib/frama-c/source_manager.o
lib/frama-c/source_viewer.cmx
lib/frama-c/source_viewer.o
lib/frama-c/special_hooks.cmx
lib/frama-c/special_hooks.o
lib/frama-c/state.cmx
@ -331,6 +373,8 @@ lib/frama-c/sysutil.cmx
lib/frama-c/sysutil.o
lib/frama-c/task.cmx
lib/frama-c/task.o
lib/frama-c/toolbox.cmx
lib/frama-c/toolbox.o
lib/frama-c/tr_offset.cmx
lib/frama-c/tr_offset.o
lib/frama-c/trace.cmx
@ -361,5 +405,7 @@ lib/frama-c/vector.cmx
lib/frama-c/vector.o
lib/frama-c/visitor.cmx
lib/frama-c/visitor.o
lib/frama-c/warning_manager.cmx
lib/frama-c/warning_manager.o
lib/frama-c/widen_type.cmx
lib/frama-c/widen_type.o

3
devel/frama-c/pkg/PFRAG.no-native
View File

@ -1,7 +1,8 @@
@comment $OpenBSD: PFRAG.no-native,v 1.1.1.1 2014/04/21 16:02:26 jca Exp $
@comment $OpenBSD: PFRAG.no-native,v 1.2 2014/04/23 14:12:28 jca Exp $
bin/ptests.byte
lib/frama-c/Aorai.cmo
lib/frama-c/Obfuscator.cmo
lib/frama-c/Report.cmo
lib/frama-c/Security_slicing.cmo
lib/frama-c/Wp.cma
lib/frama-c/ptests_config.cmo

46
devel/frama-c/pkg/PLIST
View File

@ -1,7 +1,9 @@
@comment $OpenBSD: PLIST,v 1.1.1.1 2014/04/21 16:02:26 jca Exp $
@comment $OpenBSD: PLIST,v 1.2 2014/04/23 14:12:28 jca Exp $
%%native%%
!%%native%%
@bin bin/frama-c
@bin bin/frama-c-gui
@bin bin/frama-c-gui.byte
@bin bin/frama-c.byte
lib/frama-c/
lib/frama-c/Constant_Propagation.cmo
@ -34,6 +36,8 @@ lib/frama-c/allocates.cmi
lib/frama-c/allocates.cmo
lib/frama-c/alpha.cmi
lib/frama-c/alpha.cmo
lib/frama-c/analyses_manager.cmi
lib/frama-c/analyses_manager.cmo
lib/frama-c/annotations.cmi
lib/frama-c/annotations.cmo
lib/frama-c/ast.cmi
@ -52,6 +56,8 @@ lib/frama-c/bit_utils.cmi
lib/frama-c/bit_utils.cmo
lib/frama-c/bitvector.cmi
lib/frama-c/bitvector.cmo
lib/frama-c/book_manager.cmi
lib/frama-c/book_manager.cmo
lib/frama-c/boot.cmi
lib/frama-c/boot.cmo
lib/frama-c/buckx.cmi
@ -120,10 +126,15 @@ lib/frama-c/db.cmi
lib/frama-c/db.cmo
lib/frama-c/deadcodeelim.cmi
lib/frama-c/deadcodeelim.cmo
lib/frama-c/debug_manager.cmi
lib/frama-c/debug_manager.cmo
lib/frama-c/descr.cmi
lib/frama-c/descr.cmo
lib/frama-c/description.cmi
lib/frama-c/description.cmo
lib/frama-c/design.cmi
lib/frama-c/design.cmo
lib/frama-c/dgraph.cmi
lib/frama-c/dominators.cmi
lib/frama-c/dominators.cmo
lib/frama-c/dynamic.cmi
@ -142,8 +153,12 @@ lib/frama-c/extlib.cmi
lib/frama-c/extlib.cmo
lib/frama-c/file.cmi
lib/frama-c/file.cmo
lib/frama-c/file_manager.cmi
lib/frama-c/file_manager.cmo
lib/frama-c/filepath.cmi
lib/frama-c/filepath.cmo
lib/frama-c/filetree.cmi
lib/frama-c/filetree.cmo
lib/frama-c/filter.cmi
lib/frama-c/filter.cmo
lib/frama-c/floating_point.cmi
@ -156,6 +171,17 @@ lib/frama-c/globals.cmi
lib/frama-c/globals.cmo
lib/frama-c/graph.cmi
lib/frama-c/graph.cmo
lib/frama-c/gtk_form.cmi
lib/frama-c/gtk_form.cmo
lib/frama-c/gtk_helper.cmi
lib/frama-c/gtk_helper.cmo
lib/frama-c/gui_init.cmi
lib/frama-c/gui_parameters.cmi
lib/frama-c/gui_parameters.cmo
lib/frama-c/help_manager.cmi
lib/frama-c/help_manager.cmo
lib/frama-c/history.cmi
lib/frama-c/history.cmo
lib/frama-c/hook.cmi
lib/frama-c/hook.cmo
lib/frama-c/hptmap.cmi
@ -187,6 +213,8 @@ lib/frama-c/kernel_function.cmo
lib/frama-c/lattice_Interval_Set.cmi
lib/frama-c/lattice_Interval_Set.cmo
lib/frama-c/lattice_type.cmi
lib/frama-c/launcher.cmi
lib/frama-c/launcher.cmo
lib/frama-c/lexerhack.cmi
lib/frama-c/lexerhack.cmo
lib/frama-c/liveness.cmi
@ -233,6 +261,8 @@ lib/frama-c/machdep_x86_64.cmi
lib/frama-c/machdep_x86_64.cmo
lib/frama-c/map_Lattice.cmi
lib/frama-c/map_Lattice.cmo
lib/frama-c/menu_manager.cmi
lib/frama-c/menu_manager.cmo
lib/frama-c/mergecil.cmi
lib/frama-c/mergecil.cmo
lib/frama-c/messages.cmi
@ -266,6 +296,8 @@ lib/frama-c/plugin.cmi
lib/frama-c/plugin.cmo
lib/frama-c/plugins/
lib/frama-c/plugins/gui/
lib/frama-c/pretty_source.cmi
lib/frama-c/pretty_source.cmo
lib/frama-c/pretty_utils.cmi
lib/frama-c/pretty_utils.cmo
lib/frama-c/printer.cmi
@ -275,10 +307,14 @@ lib/frama-c/printer_builder.cmi
lib/frama-c/printer_builder.cmo
lib/frama-c/project.cmi
lib/frama-c/project.cmo
lib/frama-c/project_manager.cmi
lib/frama-c/project_manager.cmo
lib/frama-c/project_skeleton.cmi
lib/frama-c/project_skeleton.cmo
lib/frama-c/property.cmi
lib/frama-c/property.cmo
lib/frama-c/property_navigator.cmi
lib/frama-c/property_navigator.cmo
lib/frama-c/property_status.cmi
lib/frama-c/property_status.cmo
lib/frama-c/ptests_config.cmi
@ -298,6 +334,10 @@ lib/frama-c/slicingInternals.cmi
lib/frama-c/slicingInternals.cmo
lib/frama-c/slicingTypes.cmi
lib/frama-c/slicingTypes.cmo
lib/frama-c/source_manager.cmi
lib/frama-c/source_manager.cmo
lib/frama-c/source_viewer.cmi
lib/frama-c/source_viewer.cmo
lib/frama-c/special_hooks.cmi
lib/frama-c/special_hooks.cmo
lib/frama-c/state.cmi
@ -320,6 +360,8 @@ lib/frama-c/sysutil.cmi
lib/frama-c/sysutil.cmo
lib/frama-c/task.cmi
lib/frama-c/task.cmo
lib/frama-c/toolbox.cmi
lib/frama-c/toolbox.cmo
lib/frama-c/tr_offset.cmi
lib/frama-c/tr_offset.cmo
lib/frama-c/trace.cmi
@ -350,6 +392,8 @@ lib/frama-c/vector.cmi
lib/frama-c/vector.cmo
lib/frama-c/visitor.cmi
lib/frama-c/visitor.cmo
lib/frama-c/warning_manager.cmi
lib/frama-c/warning_manager.cmo
lib/frama-c/widen_type.cmi
lib/frama-c/widen_type.cmo
@man man/man1/frama-c-gui.1