This is the web page I was looking for.
http://www.rtklib.com/rtklib_sdr.htm
I myself have never used RTKlib with an SDR.
Try to use a circularly polarized antenna.
GPS signals are circularly polarized to allow the antenna to have some
degree of rejection of signals reflected from the ground. The simplest
to make rhcp antenna for a single frequency, say 1575 MHz, is going to
be a helical antenna. If your right hand is the coil windings and your
thumb is facing up, the winding will go in the direction your fingers
point. There are calculators on the net.
(Note that the measurements they will give you are for an air core.)
If you want a broadband circularly polarized antenna, you might want
to look at spiral antennas like the “equiangular spiral” (logarithmic
spiral) antenna or Archimedes spiral. The two arm design works best with
a balun. There is also a very innovative design that uses coax as the
balun. Its cheap and could work over a 8:1 frequency range!
IMO, with that antenna, performance could be quite good plus it works
over a very wide frequency range. Google “infinite balun” or look at
this page and scroll down. The antenna I am talking about is the one
made out of a single piece of coax. That design does not look like it
would be a good antenna but actually it is an extremely good antenna for
satellite reception if you use the appropriate size for your frequency
and the appropriate polarization. And of course, you can make a single
antenna and simply flip it over to get the other polarization when you
need it.
You could also make a similar design using a PCB and a stripline instead
of coax.
Most of the low cost GPS antennas you see are not very good. To really
take advantage of RTKlib you need a good antenna - good being defined as
one with minimal phase center variation and high rejection of opposite
polarized (reflection) signals. A vertical whip is going to be an
absolutely terrible GPS antenna.
I’ve mostly used RTKlib with a local non-SDR receiver and gotten
correction data from (as nearby as possible) RTCM data server, usually
post processing. I think that is a typical use pattern.
There are lots of servers for correction data. Some of them are free.
I don’t know how to use RTKlib with an SDR but its definitely being
done. Look at the URL above to start. If you can’t figure it out email
Tomji Takasu its author. He is into software defied radio, he would
probably be very helpful. Also, maybe there have been previous postings
on this here on this list?