Ok, we got faster answers than mine... 
You should take a look on DS3231.h library for reference.
The library that I used in my project "RTClib.h" just uses the commmand "RTC_DS3231 object" with no parameters. It of course presumes that you´re using the standard I2C pins of your board.