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


1.1
date	2026.07.02.19.34.01;	author alnsn;	state Exp;
branches;
next	;
commitid	T8GKuIjOhFd6b7MG;


desc
@@


1.1
log
@Initial import of math/symfpu version 1.2.0.

SymFPU is an implementation of the SMT-LIB theory of (IEEE-754)
floating-point in terms of bit-vector operations. It is templated
in terms of the bit-vectors, propositions, floating-point formats
and rounding mode types used.
@
text
@$NetBSD$

Don't assume that the root directory is named "symfpu".

--- baseTypes/Makefile.orig	2026-07-01 22:10:52.161950683 +0000
+++ baseTypes/Makefile
@@@@ -1,5 +1,5 @@@@
 include ../flags
-CXXFLAGS+=-I../../
+CXXFLAGS+=-I..
 ALL=simpleExecutable.o
 
 .PHONY : all
@