Constructing the relative Fukaya category

We give a definition of Seidel's `relative Fukaya category', for a smooth complex projective variety, under a semipositivity assumption. We use the Cieliebak--Mohnke approach to transversality via stabilizing divisors. Two features of our construction are noteworthy: that we work relative to a normal crossings divisor that supports an effective ample divisor but need not have ample components; and that our relative Fukaya category is linear over a certain ring of multivariate power series with integer coefficients.