head	1.1;
access;
symbols;
locks; strict;
comment	@# @;


1.1
date	2026.04.25.22.03.11;	author alnsn;	state Exp;
branches;
next	;
commitid	2UrWM0bYovSFboDG;


desc
@@


1.1
log
@Initial import of lang/souffle, version 2.5.

Souffle is  a variant of Datalog for tool designers crafting analyses
in Horn clauses. Souffle  synthesizes a native parallel C++ program
from a logic specification.
@
text
@# $NetBSD$

PKG_OPTIONS_VAR=		PKG_OPTIONS.souffle
PKG_SUPPORTED_OPTIONS=		openmp sqlite souffle-64bit
PKG_SUGGESTED_OPTIONS=		openmp sqlite

.include "../../mk/bsd.options.mk"

.if !empty(PKG_OPTIONS:Mopenmp)
# required to find OpenMP_gomp_LIBRARY ("../../mk/openmp.mk" doesn't work)
.include "../../parallel/openmp/buildlink3.mk"
CMAKE_CONFIGURE_ARGS+=	-DSOUFFLE_USE_OPENMP=ON
.else
CMAKE_CONFIGURE_ARGS+=	-DSOUFFLE_USE_OPENMP=OFF
.endif

.if !empty(PKG_OPTIONS:Msqlite)
.include "../../databases/sqlite3/buildlink3.mk"
CMAKE_CONFIGURE_ARGS+=	-DSOUFFLE_USE_SQLITE=ON
.else
CMAKE_CONFIGURE_ARGS+=	-DSOUFFLE_USE_SQLITE=OFF
.endif

.if !empty(PKG_OPTIONS:Msouffle-64bit)
CMAKE_CONFIGURE_ARGS+=	-DSOUFFLE_DOMAIN_64BIT=ON
.else
CMAKE_CONFIGURE_ARGS+=	-DSOUFFLE_DOMAIN_64BIT=OFF
.endif
@